home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / gtkhtml-3.14 / gtkhtml-editor.glade next >
Encoding:
Extensible Markup Language  |  2009-03-19  |  191.0 KB  |  3,258 lines
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
  3. <!--Generated with glade3 3.4.5 on Wed Dec 31 00:39:22 2008 -->
  4. <glade-interface>
  5.   <requires lib="gtkhtml-editor"/>
  6.   <widget class="GtkWindow" id="text-properties-window">
  7.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  8.     <property name="title" translatable="yes">Text Properties</property>
  9.     <property name="resizable">False</property>
  10.     <property name="modal">True</property>
  11.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  12.     <property name="destroy_with_parent">True</property>
  13.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  14.     <child>
  15.       <widget class="GtkVBox" id="text-properties-vbox">
  16.         <property name="visible">True</property>
  17.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  18.         <property name="border_width">12</property>
  19.         <property name="spacing">12</property>
  20.         <child>
  21.           <widget class="GtkHBox" id="text-properties-inner-hbox">
  22.             <property name="visible">True</property>
  23.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  24.             <property name="border_width">6</property>
  25.             <property name="spacing">12</property>
  26.             <child>
  27.               <widget class="GtkTable" id="text-properties-table-left">
  28.                 <property name="visible">True</property>
  29.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  30.                 <property name="n_rows">4</property>
  31.                 <property name="n_columns">2</property>
  32.                 <property name="column_spacing">6</property>
  33.                 <property name="row_spacing">6</property>
  34.                 <child>
  35.                   <widget class="GtkCheckButton" id="text-properties-strikethrough-button">
  36.                     <property name="visible">True</property>
  37.                     <property name="can_focus">True</property>
  38.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  39.                     <property name="label" translatable="yes">_Strikethrough</property>
  40.                     <property name="use_underline">True</property>
  41.                     <property name="response_id">0</property>
  42.                     <property name="draw_indicator">True</property>
  43.                   </widget>
  44.                   <packing>
  45.                     <property name="left_attach">1</property>
  46.                     <property name="right_attach">2</property>
  47.                     <property name="top_attach">3</property>
  48.                     <property name="bottom_attach">4</property>
  49.                     <property name="y_options"></property>
  50.                   </packing>
  51.                 </child>
  52.                 <child>
  53.                   <widget class="GtkCheckButton" id="text-properties-underline-button">
  54.                     <property name="visible">True</property>
  55.                     <property name="can_focus">True</property>
  56.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  57.                     <property name="label" translatable="yes">_Underline</property>
  58.                     <property name="use_underline">True</property>
  59.                     <property name="response_id">0</property>
  60.                     <property name="draw_indicator">True</property>
  61.                   </widget>
  62.                   <packing>
  63.                     <property name="left_attach">1</property>
  64.                     <property name="right_attach">2</property>
  65.                     <property name="top_attach">2</property>
  66.                     <property name="bottom_attach">3</property>
  67.                     <property name="y_options"></property>
  68.                   </packing>
  69.                 </child>
  70.                 <child>
  71.                   <widget class="GtkCheckButton" id="text-properties-italic-button">
  72.                     <property name="visible">True</property>
  73.                     <property name="can_focus">True</property>
  74.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  75.                     <property name="label" translatable="yes">_Italic</property>
  76.                     <property name="use_underline">True</property>
  77.                     <property name="response_id">0</property>
  78.                     <property name="draw_indicator">True</property>
  79.                   </widget>
  80.                   <packing>
  81.                     <property name="left_attach">1</property>
  82.                     <property name="right_attach">2</property>
  83.                     <property name="top_attach">1</property>
  84.                     <property name="bottom_attach">2</property>
  85.                     <property name="y_options"></property>
  86.                   </packing>
  87.                 </child>
  88.                 <child>
  89.                   <widget class="GtkCheckButton" id="text-properties-bold-button">
  90.                     <property name="visible">True</property>
  91.                     <property name="can_focus">True</property>
  92.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  93.                     <property name="label" translatable="yes">_Bold</property>
  94.                     <property name="use_underline">True</property>
  95.                     <property name="response_id">0</property>
  96.                     <property name="draw_indicator">True</property>
  97.                   </widget>
  98.                   <packing>
  99.                     <property name="left_attach">1</property>
  100.                     <property name="right_attach">2</property>
  101.                     <property name="y_options"></property>
  102.                   </packing>
  103.                 </child>
  104.                 <child>
  105.                   <widget class="GtkImage" id="text-properties-strikethrough-image">
  106.                     <property name="visible">True</property>
  107.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  108.                     <property name="stock">gtk-strikethrough</property>
  109.                   </widget>
  110.                   <packing>
  111.                     <property name="top_attach">3</property>
  112.                     <property name="bottom_attach">4</property>
  113.                     <property name="x_options"></property>
  114.                     <property name="y_options"></property>
  115.                   </packing>
  116.                 </child>
  117.                 <child>
  118.                   <widget class="GtkImage" id="text-properties-underline-image">
  119.                     <property name="visible">True</property>
  120.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  121.                     <property name="stock">gtk-underline</property>
  122.                   </widget>
  123.                   <packing>
  124.                     <property name="top_attach">2</property>
  125.                     <property name="bottom_attach">3</property>
  126.                     <property name="x_options"></property>
  127.                     <property name="y_options"></property>
  128.                   </packing>
  129.                 </child>
  130.                 <child>
  131.                   <widget class="GtkImage" id="text-properties-italic-image">
  132.                     <property name="visible">True</property>
  133.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  134.                     <property name="stock">gtk-italic</property>
  135.                   </widget>
  136.                   <packing>
  137.                     <property name="top_attach">1</property>
  138.                     <property name="bottom_attach">2</property>
  139.                     <property name="x_options"></property>
  140.                     <property name="y_options"></property>
  141.                   </packing>
  142.                 </child>
  143.                 <child>
  144.                   <widget class="GtkImage" id="text-properties-bold-image">
  145.                     <property name="visible">True</property>
  146.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  147.                     <property name="stock">gtk-bold</property>
  148.                   </widget>
  149.                   <packing>
  150.                     <property name="x_options"></property>
  151.                     <property name="y_options"></property>
  152.                   </packing>
  153.                 </child>
  154.               </widget>
  155.             </child>
  156.             <child>
  157.               <widget class="GtkTable" id="text-properties-table-right">
  158.                 <property name="visible">True</property>
  159.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  160.                 <property name="n_rows">3</property>
  161.                 <property name="n_columns">2</property>
  162.                 <property name="column_spacing">6</property>
  163.                 <property name="row_spacing">6</property>
  164.                 <child>
  165.                   <widget class="GtkhtmlColorCombo" id="text-properties-color-combo">
  166.                     <property name="visible">True</property>
  167.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  168.                     <property name="default_label">Automatic</property>
  169.                   </widget>
  170.                   <packing>
  171.                     <property name="left_attach">1</property>
  172.                     <property name="right_attach">2</property>
  173.                     <property name="y_options">GTK_FILL</property>
  174.                   </packing>
  175.                 </child>
  176.                 <child>
  177.                   <widget class="GtkLabel" id="text-properties-size-label">
  178.                     <property name="visible">True</property>
  179.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  180.                     <property name="label" translatable="yes">Si_ze:</property>
  181.                     <property name="use_underline">True</property>
  182.                   </widget>
  183.                   <packing>
  184.                     <property name="top_attach">1</property>
  185.                     <property name="bottom_attach">2</property>
  186.                     <property name="x_options">GTK_FILL</property>
  187.                     <property name="y_options"></property>
  188.                   </packing>
  189.                 </child>
  190.                 <child>
  191.                   <widget class="GtkLabel" id="text-properties-color-label">
  192.                     <property name="visible">True</property>
  193.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  194.                     <property name="label" translatable="yes">_Color:</property>
  195.                     <property name="use_underline">True</property>
  196.                   </widget>
  197.                   <packing>
  198.                     <property name="x_options">GTK_FILL</property>
  199.                     <property name="y_options"></property>
  200.                   </packing>
  201.                 </child>
  202.                 <child>
  203.                   <widget class="GtkAlignment" id="text-properties-alignment">
  204.                     <property name="visible">True</property>
  205.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  206.                     <child>
  207.                       <placeholder/>
  208.                     </child>
  209.                   </widget>
  210.                   <packing>
  211.                     <property name="right_attach">2</property>
  212.                     <property name="top_attach">2</property>
  213.                     <property name="bottom_attach">3</property>
  214.                   </packing>
  215.                 </child>
  216.                 <child>
  217.                   <widget class="GtkhtmlComboBox" id="text-properties-size-combo-box">
  218.                     <property name="visible">True</property>
  219.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  220.                   </widget>
  221.                   <packing>
  222.                     <property name="left_attach">1</property>
  223.                     <property name="right_attach">2</property>
  224.                     <property name="top_attach">1</property>
  225.                     <property name="bottom_attach">2</property>
  226.                     <property name="y_options"></property>
  227.                   </packing>
  228.                 </child>
  229.               </widget>
  230.               <packing>
  231.                 <property name="position">1</property>
  232.               </packing>
  233.             </child>
  234.           </widget>
  235.         </child>
  236.         <child>
  237.           <widget class="GtkHButtonBox" id="text-properties-button-box">
  238.             <property name="visible">True</property>
  239.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  240.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  241.             <child>
  242.               <widget class="GtkButton" id="text-properties-ok-button">
  243.                 <property name="visible">True</property>
  244.                 <property name="can_focus">True</property>
  245.                 <property name="receives_default">True</property>
  246.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  247.                 <property name="label">gtk-ok</property>
  248.                 <property name="use_stock">True</property>
  249.                 <property name="response_id">0</property>
  250.                 <signal name="clicked" handler="gtk_widget_hide" object="text-properties-window"/>
  251.               </widget>
  252.               <packing>
  253.                 <property name="position">1</property>
  254.               </packing>
  255.             </child>
  256.           </widget>
  257.           <packing>
  258.             <property name="expand">False</property>
  259.             <property name="fill">False</property>
  260.             <property name="pack_type">GTK_PACK_END</property>
  261.             <property name="position">1</property>
  262.           </packing>
  263.         </child>
  264.       </widget>
  265.     </child>
  266.   </widget>
  267.   <widget class="GtkWindow" id="paragraph-properties-window">
  268.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  269.     <property name="title" translatable="yes">Paragraph Properties</property>
  270.     <property name="resizable">False</property>
  271.     <property name="modal">True</property>
  272.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  273.     <property name="destroy_with_parent">True</property>
  274.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  275.     <child>
  276.       <widget class="GtkVBox" id="paragraph-properties-vbox">
  277.         <property name="visible">True</property>
  278.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  279.         <property name="border_width">12</property>
  280.         <property name="spacing">12</property>
  281.         <child>
  282.           <widget class="GtkVBox" id="paragraph-properties-general-vbox">
  283.             <property name="visible">True</property>
  284.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  285.             <property name="spacing">6</property>
  286.             <child>
  287.               <widget class="GtkLabel" id="paragraph-properties-general-label">
  288.                 <property name="visible">True</property>
  289.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  290.                 <property name="xalign">0</property>
  291.                 <property name="label" translatable="yes"><b>General</b></property>
  292.                 <property name="use_markup">True</property>
  293.               </widget>
  294.               <packing>
  295.                 <property name="expand">False</property>
  296.                 <property name="fill">False</property>
  297.               </packing>
  298.             </child>
  299.             <child>
  300.               <widget class="GtkAlignment" id="paragraph-properties-general-alignment">
  301.                 <property name="visible">True</property>
  302.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  303.                 <property name="left_padding">12</property>
  304.                 <child>
  305.                   <widget class="GtkHBox" id="paragraph-properties-general-hbox">
  306.                     <property name="visible">True</property>
  307.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  308.                     <property name="spacing">6</property>
  309.                     <child>
  310.                       <widget class="GtkLabel" id="paragraph-properties-general-style-label">
  311.                         <property name="visible">True</property>
  312.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  313.                         <property name="xalign">0</property>
  314.                         <property name="label" translatable="yes">_Style:</property>
  315.                         <property name="use_underline">True</property>
  316.                       </widget>
  317.                       <packing>
  318.                         <property name="expand">False</property>
  319.                         <property name="fill">False</property>
  320.                       </packing>
  321.                     </child>
  322.                     <child>
  323.                       <widget class="GtkhtmlComboBox" id="paragraph-properties-style-combo-box">
  324.                         <property name="visible">True</property>
  325.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  326.                       </widget>
  327.                       <packing>
  328.                         <property name="expand">False</property>
  329.                         <property name="fill">False</property>
  330.                         <property name="position">1</property>
  331.                       </packing>
  332.                     </child>
  333.                   </widget>
  334.                 </child>
  335.               </widget>
  336.               <packing>
  337.                 <property name="expand">False</property>
  338.                 <property name="fill">False</property>
  339.                 <property name="position">1</property>
  340.               </packing>
  341.             </child>
  342.           </widget>
  343.         </child>
  344.         <child>
  345.           <widget class="GtkVBox" id="paragraph-properties-alignment-vbox">
  346.             <property name="visible">True</property>
  347.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  348.             <property name="spacing">6</property>
  349.             <child>
  350.               <widget class="GtkLabel" id="paragraph-properties-alignment-label">
  351.                 <property name="visible">True</property>
  352.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  353.                 <property name="xalign">0</property>
  354.                 <property name="label" translatable="yes"><b>Alignment</b></property>
  355.                 <property name="use_markup">True</property>
  356.               </widget>
  357.               <packing>
  358.                 <property name="expand">False</property>
  359.                 <property name="fill">False</property>
  360.               </packing>
  361.             </child>
  362.             <child>
  363.               <widget class="GtkAlignment" id="paragraph-properties-alignment-alignment">
  364.                 <property name="visible">True</property>
  365.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  366.                 <property name="left_padding">12</property>
  367.                 <child>
  368.                   <widget class="GtkHButtonBox" id="paragraph-properties-alignment-button-box">
  369.                     <property name="visible">True</property>
  370.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  371.                     <property name="spacing">6</property>
  372.                     <property name="homogeneous">True</property>
  373.                     <child>
  374.                       <widget class="GtkToggleButton" id="paragraph-properties-left-button">
  375.                         <property name="visible">True</property>
  376.                         <property name="can_focus">True</property>
  377.                         <property name="receives_default">True</property>
  378.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  379.                         <property name="label">gtk-justify-left</property>
  380.                         <property name="use_stock">True</property>
  381.                         <property name="response_id">0</property>
  382.                       </widget>
  383.                     </child>
  384.                     <child>
  385.                       <widget class="GtkToggleButton" id="paragraph-properties-center-button">
  386.                         <property name="visible">True</property>
  387.                         <property name="can_focus">True</property>
  388.                         <property name="receives_default">True</property>
  389.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  390.                         <property name="label">gtk-justify-center</property>
  391.                         <property name="use_stock">True</property>
  392.                         <property name="response_id">0</property>
  393.                       </widget>
  394.                       <packing>
  395.                         <property name="position">1</property>
  396.                       </packing>
  397.                     </child>
  398.                     <child>
  399.                       <widget class="GtkToggleButton" id="paragraph-properties-right-button">
  400.                         <property name="visible">True</property>
  401.                         <property name="can_focus">True</property>
  402.                         <property name="receives_default">True</property>
  403.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  404.                         <property name="label">gtk-justify-right</property>
  405.                         <property name="use_stock">True</property>
  406.                         <property name="response_id">0</property>
  407.                       </widget>
  408.                       <packing>
  409.                         <property name="position">2</property>
  410.                       </packing>
  411.                     </child>
  412.                   </widget>
  413.                 </child>
  414.               </widget>
  415.               <packing>
  416.                 <property name="expand">False</property>
  417.                 <property name="fill">False</property>
  418.                 <property name="position">1</property>
  419.               </packing>
  420.             </child>
  421.           </widget>
  422.           <packing>
  423.             <property name="position">1</property>
  424.           </packing>
  425.         </child>
  426.         <child>
  427.           <widget class="GtkHButtonBox" id="paragraph-properties-button-box">
  428.             <property name="visible">True</property>
  429.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  430.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  431.             <child>
  432.               <widget class="GtkButton" id="paragraph-properties-ok-button">
  433.                 <property name="visible">True</property>
  434.                 <property name="can_focus">True</property>
  435.                 <property name="receives_default">True</property>
  436.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  437.                 <property name="label">gtk-ok</property>
  438.                 <property name="use_stock">True</property>
  439.                 <property name="response_id">0</property>
  440.                 <signal name="clicked" handler="gtk_widget_hide" object="paragraph-properties-window"/>
  441.               </widget>
  442.               <packing>
  443.                 <property name="position">1</property>
  444.               </packing>
  445.             </child>
  446.           </widget>
  447.           <packing>
  448.             <property name="expand">False</property>
  449.             <property name="fill">False</property>
  450.             <property name="pack_type">GTK_PACK_END</property>
  451.             <property name="position">2</property>
  452.           </packing>
  453.         </child>
  454.       </widget>
  455.     </child>
  456.   </widget>
  457.   <widget class="GtkWindow" id="find-window">
  458.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  459.     <property name="title" translatable="yes">Find</property>
  460.     <property name="resizable">False</property>
  461.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  462.     <property name="destroy_with_parent">True</property>
  463.     <property name="icon_name">gtk-find</property>
  464.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  465.     <child>
  466.       <widget class="GtkVBox" id="find-vbox">
  467.         <property name="visible">True</property>
  468.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  469.         <property name="border_width">12</property>
  470.         <property name="spacing">12</property>
  471.         <child>
  472.           <widget class="GtkVBox" id="find-inner-vbox">
  473.             <property name="visible">True</property>
  474.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  475.             <property name="spacing">6</property>
  476.             <child>
  477.               <widget class="GtkEntry" id="find-entry">
  478.                 <property name="visible">True</property>
  479.                 <property name="can_focus">True</property>
  480.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  481.                 <property name="activates_default">True</property>
  482.                 <signal name="changed" handler="gtkhtml_editor_find_entry_changed_cb" object="find-window"/>
  483.                 <signal name="activate" handler="gtkhtml_editor_find_entry_activate_cb" object="find-window"/>
  484.               </widget>
  485.               <packing>
  486.                 <property name="expand">False</property>
  487.                 <property name="fill">False</property>
  488.               </packing>
  489.             </child>
  490.             <child>
  491.               <widget class="GtkHBox" id="find-hbox">
  492.                 <property name="visible">True</property>
  493.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  494.                 <property name="spacing">6</property>
  495.                 <child>
  496.                   <widget class="GtkCheckButton" id="find-backwards">
  497.                     <property name="visible">True</property>
  498.                     <property name="can_focus">True</property>
  499.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  500.                     <property name="label" translatable="yes">Search _backwards</property>
  501.                     <property name="use_underline">True</property>
  502.                     <property name="response_id">0</property>
  503.                     <property name="draw_indicator">True</property>
  504.                     <signal name="toggled" handler="gtkhtml_editor_find_backwards_toggled_cb" object="find-window"/>
  505.                   </widget>
  506.                 </child>
  507.                 <child>
  508.                   <widget class="GtkCheckButton" id="find-case-sensitive">
  509.                     <property name="visible">True</property>
  510.                     <property name="can_focus">True</property>
  511.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  512.                     <property name="label" translatable="yes">Case _sensitive</property>
  513.                     <property name="use_underline">True</property>
  514.                     <property name="response_id">0</property>
  515.                     <property name="draw_indicator">True</property>
  516.                     <signal name="toggled" handler="gtkhtml_editor_find_case_sensitive_toggled_cb" object="find-window"/>
  517.                   </widget>
  518.                   <packing>
  519.                     <property name="position">1</property>
  520.                   </packing>
  521.                 </child>
  522.                 <child>
  523.                   <widget class="GtkCheckButton" id="find-regular-expression">
  524.                     <property name="visible">True</property>
  525.                     <property name="can_focus">True</property>
  526.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  527.                     <property name="label" translatable="yes">_Regular expression</property>
  528.                     <property name="use_underline">True</property>
  529.                     <property name="response_id">0</property>
  530.                     <property name="draw_indicator">True</property>
  531.                     <signal name="toggled" handler="gtkhtml_editor_find_regular_expression_toggled_cb" object="find-window"/>
  532.                   </widget>
  533.                   <packing>
  534.                     <property name="position">2</property>
  535.                   </packing>
  536.                 </child>
  537.               </widget>
  538.               <packing>
  539.                 <property name="expand">False</property>
  540.                 <property name="fill">False</property>
  541.                 <property name="position">1</property>
  542.               </packing>
  543.             </child>
  544.           </widget>
  545.           <packing>
  546.             <property name="expand">False</property>
  547.             <property name="fill">False</property>
  548.           </packing>
  549.         </child>
  550.         <child>
  551.           <widget class="GtkHButtonBox" id="find-button-box">
  552.             <property name="visible">True</property>
  553.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  554.             <property name="spacing">12</property>
  555.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  556.             <child>
  557.               <widget class="GtkButton" id="find-close-button">
  558.                 <property name="visible">True</property>
  559.                 <property name="can_focus">True</property>
  560.                 <property name="receives_default">True</property>
  561.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  562.                 <property name="label">gtk-close</property>
  563.                 <property name="use_stock">True</property>
  564.                 <property name="response_id">-6</property>
  565.                 <signal name="clicked" handler="gtk_widget_hide" object="find-window"/>
  566.               </widget>
  567.             </child>
  568.             <child>
  569.               <widget class="GtkButton" id="find-button">
  570.                 <property name="visible">True</property>
  571.                 <property name="can_focus">True</property>
  572.                 <property name="can_default">True</property>
  573.                 <property name="has_default">True</property>
  574.                 <property name="receives_default">True</property>
  575.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  576.                 <property name="label">gtk-find</property>
  577.                 <property name="use_stock">True</property>
  578.                 <property name="response_id">0</property>
  579.               </widget>
  580.               <packing>
  581.                 <property name="position">1</property>
  582.               </packing>
  583.             </child>
  584.           </widget>
  585.           <packing>
  586.             <property name="expand">False</property>
  587.             <property name="fill">False</property>
  588.             <property name="pack_type">GTK_PACK_END</property>
  589.             <property name="position">1</property>
  590.           </packing>
  591.         </child>
  592.       </widget>
  593.     </child>
  594.   </widget>
  595.   <widget class="GtkWindow" id="replace-window">
  596.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  597.     <property name="title" translatable="yes">Replace</property>
  598.     <property name="resizable">False</property>
  599.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  600.     <property name="destroy_with_parent">True</property>
  601.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  602.     <child>
  603.       <widget class="GtkVBox" id="replace-vbox">
  604.         <property name="visible">True</property>
  605.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  606.         <property name="extension_events">GDK_EXTENSION_EVENTS_ALL</property>
  607.         <property name="border_width">12</property>
  608.         <property name="spacing">12</property>
  609.         <child>
  610.           <widget class="GtkTable" id="replace-table">
  611.             <property name="visible">True</property>
  612.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  613.             <property name="n_rows">3</property>
  614.             <property name="n_columns">3</property>
  615.             <property name="column_spacing">6</property>
  616.             <property name="row_spacing">6</property>
  617.             <child>
  618.               <widget class="GtkEntry" id="replace-with-entry">
  619.                 <property name="visible">True</property>
  620.                 <property name="can_focus">True</property>
  621.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  622.               </widget>
  623.               <packing>
  624.                 <property name="left_attach">1</property>
  625.                 <property name="right_attach">3</property>
  626.                 <property name="top_attach">1</property>
  627.                 <property name="bottom_attach">2</property>
  628.               </packing>
  629.             </child>
  630.             <child>
  631.               <widget class="GtkEntry" id="replace-entry">
  632.                 <property name="visible">True</property>
  633.                 <property name="can_focus">True</property>
  634.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  635.               </widget>
  636.               <packing>
  637.                 <property name="left_attach">1</property>
  638.                 <property name="right_attach">3</property>
  639.               </packing>
  640.             </child>
  641.             <child>
  642.               <widget class="GtkLabel" id="replace-with-label">
  643.                 <property name="visible">True</property>
  644.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  645.                 <property name="xalign">1</property>
  646.                 <property name="label" translatable="yes">_With:</property>
  647.                 <property name="use_underline">True</property>
  648.                 <property name="mnemonic_widget">replace-with-entry</property>
  649.               </widget>
  650.               <packing>
  651.                 <property name="top_attach">1</property>
  652.                 <property name="bottom_attach">2</property>
  653.                 <property name="x_options">GTK_FILL</property>
  654.                 <property name="y_options"></property>
  655.               </packing>
  656.             </child>
  657.             <child>
  658.               <widget class="GtkLabel" id="replace-label">
  659.                 <property name="visible">True</property>
  660.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  661.                 <property name="xalign">1</property>
  662.                 <property name="label" translatable="yes">R_eplace:</property>
  663.                 <property name="use_underline">True</property>
  664.                 <property name="mnemonic_widget">replace-entry</property>
  665.               </widget>
  666.               <packing>
  667.                 <property name="x_options">GTK_FILL</property>
  668.                 <property name="y_options"></property>
  669.               </packing>
  670.             </child>
  671.             <child>
  672.               <widget class="GtkCheckButton" id="replace-backwards">
  673.                 <property name="visible">True</property>
  674.                 <property name="can_focus">True</property>
  675.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  676.                 <property name="label" translatable="yes">Search _backwards</property>
  677.                 <property name="use_underline">True</property>
  678.                 <property name="response_id">0</property>
  679.                 <property name="draw_indicator">True</property>
  680.               </widget>
  681.               <packing>
  682.                 <property name="left_attach">1</property>
  683.                 <property name="right_attach">2</property>
  684.                 <property name="top_attach">2</property>
  685.                 <property name="bottom_attach">3</property>
  686.                 <property name="x_options"></property>
  687.                 <property name="y_options"></property>
  688.               </packing>
  689.             </child>
  690.             <child>
  691.               <widget class="GtkCheckButton" id="replace-case-sensitive">
  692.                 <property name="visible">True</property>
  693.                 <property name="can_focus">True</property>
  694.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  695.                 <property name="label" translatable="yes">Case _sensitive</property>
  696.                 <property name="use_underline">True</property>
  697.                 <property name="response_id">0</property>
  698.                 <property name="draw_indicator">True</property>
  699.               </widget>
  700.               <packing>
  701.                 <property name="left_attach">2</property>
  702.                 <property name="right_attach">3</property>
  703.                 <property name="top_attach">2</property>
  704.                 <property name="bottom_attach">3</property>
  705.                 <property name="y_options"></property>
  706.               </packing>
  707.             </child>
  708.             <child>
  709.               <widget class="GtkAlignment" id="replace-alignment">
  710.                 <property name="visible">True</property>
  711.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  712.                 <child>
  713.                   <placeholder/>
  714.                 </child>
  715.               </widget>
  716.               <packing>
  717.                 <property name="top_attach">2</property>
  718.                 <property name="bottom_attach">3</property>
  719.                 <property name="x_options"></property>
  720.                 <property name="y_options"></property>
  721.               </packing>
  722.             </child>
  723.           </widget>
  724.           <packing>
  725.             <property name="expand">False</property>
  726.             <property name="fill">False</property>
  727.           </packing>
  728.         </child>
  729.         <child>
  730.           <widget class="GtkHButtonBox" id="replace-button-box">
  731.             <property name="visible">True</property>
  732.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  733.             <property name="spacing">12</property>
  734.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  735.             <child>
  736.               <widget class="GtkButton" id="replace-close-button">
  737.                 <property name="visible">True</property>
  738.                 <property name="can_focus">True</property>
  739.                 <property name="receives_default">True</property>
  740.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  741.                 <property name="label">gtk-close</property>
  742.                 <property name="use_stock">True</property>
  743.                 <property name="response_id">-6</property>
  744.                 <signal name="clicked" handler="gtk_widget_hide" object="replace-window"/>
  745.               </widget>
  746.             </child>
  747.             <child>
  748.               <widget class="GtkButton" id="replace-button">
  749.                 <property name="visible">True</property>
  750.                 <property name="can_focus">True</property>
  751.                 <property name="can_default">True</property>
  752.                 <property name="has_default">True</property>
  753.                 <property name="receives_default">True</property>
  754.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  755.                 <property name="label">gtk-find-and-replace</property>
  756.                 <property name="use_stock">True</property>
  757.                 <property name="response_id">0</property>
  758.               </widget>
  759.               <packing>
  760.                 <property name="position">1</property>
  761.               </packing>
  762.             </child>
  763.           </widget>
  764.           <packing>
  765.             <property name="expand">False</property>
  766.             <property name="fill">False</property>
  767.             <property name="pack_type">GTK_PACK_END</property>
  768.             <property name="position">1</property>
  769.           </packing>
  770.         </child>
  771.       </widget>
  772.     </child>
  773.   </widget>
  774.   <widget class="GtkWindow" id="replace-confirmation-window">
  775.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  776.     <property name="title" translatable="yes">Replace Confirmation</property>
  777.     <property name="resizable">False</property>
  778.     <property name="destroy_with_parent">True</property>
  779.     <property name="icon_name">gtk-find-and-replace</property>
  780.     <signal name="delete_event" handler="gtkhtml_editor_replace_confirmation_delete_event_cb"/>
  781.     <child>
  782.       <widget class="GtkHButtonBox" id="replace-confirmation-button-box">
  783.         <property name="visible">True</property>
  784.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  785.         <property name="border_width">12</property>
  786.         <property name="spacing">12</property>
  787.         <property name="homogeneous">True</property>
  788.         <child>
  789.           <widget class="GtkButton" id="replace-confirmation-replace-all-button">
  790.             <property name="visible">True</property>
  791.             <property name="can_focus">True</property>
  792.             <property name="receives_default">True</property>
  793.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  794.             <property name="response_id">0</property>
  795.           </widget>
  796.         </child>
  797.         <child>
  798.           <widget class="GtkButton" id="replace-confirmation-next-button">
  799.             <property name="visible">True</property>
  800.             <property name="can_focus">True</property>
  801.             <property name="receives_default">True</property>
  802.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  803.             <property name="response_id">0</property>
  804.           </widget>
  805.           <packing>
  806.             <property name="position">1</property>
  807.           </packing>
  808.         </child>
  809.         <child>
  810.           <widget class="GtkButton" id="replace-confirmation-close-button">
  811.             <property name="visible">True</property>
  812.             <property name="can_focus">True</property>
  813.             <property name="receives_default">True</property>
  814.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  815.             <property name="use_stock">True</property>
  816.             <property name="response_id">0</property>
  817.           </widget>
  818.           <packing>
  819.             <property name="position">2</property>
  820.           </packing>
  821.         </child>
  822.         <child>
  823.           <widget class="GtkButton" id="replace-confirmation-replace-button">
  824.             <property name="visible">True</property>
  825.             <property name="can_focus">True</property>
  826.             <property name="receives_default">True</property>
  827.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  828.             <property name="response_id">0</property>
  829.           </widget>
  830.           <packing>
  831.             <property name="position">3</property>
  832.           </packing>
  833.         </child>
  834.       </widget>
  835.     </child>
  836.   </widget>
  837.   <widget class="GtkWindow" id="link-properties-window">
  838.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  839.     <property name="title" translatable="yes">Link Properties</property>
  840.     <property name="modal">True</property>
  841.     <property name="window_position">GTK_WIN_POS_CENTER</property>
  842.     <property name="destroy_with_parent">True</property>
  843.     <signal name="show" handler="gtkhtml_editor_link_properties_show_window_cb"/>
  844.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  845.     <child>
  846.       <widget class="GtkVBox" id="link-properties-vbox">
  847.         <property name="visible">True</property>
  848.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  849.         <property name="border_width">12</property>
  850.         <property name="spacing">12</property>
  851.         <child>
  852.           <widget class="GtkTable" id="link-properties-table">
  853.             <property name="visible">True</property>
  854.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  855.             <property name="n_rows">2</property>
  856.             <property name="n_columns">3</property>
  857.             <property name="column_spacing">6</property>
  858.             <property name="row_spacing">6</property>
  859.             <child>
  860.               <widget class="GtkLabel" id="link-properties-url-label">
  861.                 <property name="visible">True</property>
  862.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  863.                 <property name="xalign">1</property>
  864.                 <property name="label" translatable="yes">_URL:</property>
  865.                 <property name="use_underline">True</property>
  866.                 <property name="mnemonic_widget">link-properties-url-entry</property>
  867.               </widget>
  868.               <packing>
  869.                 <property name="x_options">GTK_FILL</property>
  870.                 <property name="y_options"></property>
  871.               </packing>
  872.             </child>
  873.             <child>
  874.               <widget class="GtkLabel" id="link-properties-description-label">
  875.                 <property name="visible">True</property>
  876.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  877.                 <property name="label" translatable="yes">_Description:</property>
  878.                 <property name="use_underline">True</property>
  879.                 <property name="mnemonic_widget">link-properties-description-entry</property>
  880.               </widget>
  881.               <packing>
  882.                 <property name="top_attach">1</property>
  883.                 <property name="bottom_attach">2</property>
  884.                 <property name="x_options">GTK_FILL</property>
  885.                 <property name="y_options"></property>
  886.               </packing>
  887.             </child>
  888.             <child>
  889.               <widget class="GtkEntry" id="link-properties-url-entry">
  890.                 <property name="visible">True</property>
  891.                 <property name="can_focus">True</property>
  892.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  893.                 <signal name="changed" handler="gtkhtml_editor_link_properties_url_changed_cb" object="link-properties-window"/>
  894.               </widget>
  895.               <packing>
  896.                 <property name="left_attach">1</property>
  897.                 <property name="right_attach">2</property>
  898.                 <property name="y_options"></property>
  899.               </packing>
  900.             </child>
  901.             <child>
  902.               <widget class="GtkEntry" id="link-properties-description-entry">
  903.                 <property name="visible">True</property>
  904.                 <property name="can_focus">True</property>
  905.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  906.                 <signal name="changed" handler="gtkhtml_editor_link_properties_description_changed_cb" object="link-properties-window"/>
  907.               </widget>
  908.               <packing>
  909.                 <property name="left_attach">1</property>
  910.                 <property name="right_attach">3</property>
  911.                 <property name="top_attach">1</property>
  912.                 <property name="bottom_attach">2</property>
  913.                 <property name="y_options"></property>
  914.               </packing>
  915.             </child>
  916.             <child>
  917.               <widget class="GtkButton" id="link-properties-test-button">
  918.                 <property name="visible">True</property>
  919.                 <property name="can_focus">True</property>
  920.                 <property name="receives_default">True</property>
  921.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  922.                 <property name="use_underline">True</property>
  923.                 <property name="response_id">0</property>
  924.               </widget>
  925.               <packing>
  926.                 <property name="left_attach">2</property>
  927.                 <property name="right_attach">3</property>
  928.                 <property name="x_options"></property>
  929.                 <property name="y_options"></property>
  930.               </packing>
  931.             </child>
  932.           </widget>
  933.         </child>
  934.         <child>
  935.           <widget class="GtkHButtonBox" id="link-properties-button-box">
  936.             <property name="visible">True</property>
  937.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  938.             <property name="spacing">6</property>
  939.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  940.             <child>
  941.               <widget class="GtkButton" id="link-properties-close-button">
  942.                 <property name="visible">True</property>
  943.                 <property name="can_focus">True</property>
  944.                 <property name="receives_default">True</property>
  945.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  946.                 <property name="label">gtk-close</property>
  947.                 <property name="use_stock">True</property>
  948.                 <property name="response_id">0</property>
  949.                 <signal name="clicked" handler="gtk_widget_hide" object="link-properties-window"/>
  950.               </widget>
  951.               <packing>
  952.                 <property name="position">1</property>
  953.               </packing>
  954.             </child>
  955.           </widget>
  956.           <packing>
  957.             <property name="expand">False</property>
  958.             <property name="fill">False</property>
  959.             <property name="pack_type">GTK_PACK_END</property>
  960.             <property name="position">1</property>
  961.           </packing>
  962.         </child>
  963.       </widget>
  964.     </child>
  965.   </widget>
  966.   <widget class="GtkWindow" id="rule-properties-window">
  967.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  968.     <property name="border_width">12</property>
  969.     <property name="title" translatable="yes">Rule Properties</property>
  970.     <property name="resizable">False</property>
  971.     <property name="modal">True</property>
  972.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  973.     <property name="destroy_with_parent">True</property>
  974.     <signal name="show" handler="gtkhtml_editor_rule_properties_show_window_cb"/>
  975.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  976.     <child>
  977.       <widget class="GtkVBox" id="rule-properties-vbox">
  978.         <property name="visible">True</property>
  979.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  980.         <property name="spacing">12</property>
  981.         <child>
  982.           <widget class="GtkVBox" id="rule-properties-size-vbox">
  983.             <property name="visible">True</property>
  984.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  985.             <property name="spacing">6</property>
  986.             <child>
  987.               <widget class="GtkLabel" id="rule-properties-size-header">
  988.                 <property name="visible">True</property>
  989.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  990.                 <property name="xalign">0</property>
  991.                 <property name="label" translatable="yes"><b>Size</b></property>
  992.                 <property name="use_markup">True</property>
  993.               </widget>
  994.             </child>
  995.             <child>
  996.               <widget class="GtkAlignment" id="rule-properties-size-alignment">
  997.                 <property name="visible">True</property>
  998.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  999.                 <property name="left_padding">12</property>
  1000.                 <child>
  1001.                   <widget class="GtkTable" id="rule-properties-size-table">
  1002.                     <property name="visible">True</property>
  1003.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1004.                     <property name="n_rows">2</property>
  1005.                     <property name="n_columns">3</property>
  1006.                     <property name="column_spacing">6</property>
  1007.                     <property name="row_spacing">6</property>
  1008.                     <child>
  1009.                       <placeholder/>
  1010.                     </child>
  1011.                     <child>
  1012.                       <widget class="GtkLabel" id="rule-properties-width-label">
  1013.                         <property name="visible">True</property>
  1014.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1015.                         <property name="xalign">1</property>
  1016.                         <property name="label" translatable="yes">_Width:</property>
  1017.                         <property name="use_underline">True</property>
  1018.                       </widget>
  1019.                       <packing>
  1020.                         <property name="x_options"></property>
  1021.                         <property name="y_options"></property>
  1022.                       </packing>
  1023.                     </child>
  1024.                     <child>
  1025.                       <widget class="GtkSpinButton" id="rule-properties-width-spin-button">
  1026.                         <property name="width_request">100</property>
  1027.                         <property name="visible">True</property>
  1028.                         <property name="can_focus">True</property>
  1029.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1030.                         <property name="adjustment">0 0 100 1 10 0</property>
  1031.                         <signal name="value_changed" handler="gtkhtml_editor_rule_properties_width_changed_cb" object="rule-properties-window"/>
  1032.                       </widget>
  1033.                       <packing>
  1034.                         <property name="left_attach">1</property>
  1035.                         <property name="right_attach">2</property>
  1036.                         <property name="y_options"></property>
  1037.                       </packing>
  1038.                     </child>
  1039.                     <child>
  1040.                       <widget class="GtkLabel" id="rule-properties-size-label">
  1041.                         <property name="visible">True</property>
  1042.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1043.                         <property name="xalign">1</property>
  1044.                         <property name="label" translatable="yes">_Size:</property>
  1045.                         <property name="use_underline">True</property>
  1046.                       </widget>
  1047.                       <packing>
  1048.                         <property name="top_attach">1</property>
  1049.                         <property name="bottom_attach">2</property>
  1050.                         <property name="x_options"></property>
  1051.                         <property name="y_options"></property>
  1052.                       </packing>
  1053.                     </child>
  1054.                     <child>
  1055.                       <widget class="GtkSpinButton" id="rule-properties-size-spin-button">
  1056.                         <property name="visible">True</property>
  1057.                         <property name="can_focus">True</property>
  1058.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1059.                         <property name="adjustment">0 0 100 1 10 0</property>
  1060.                         <signal name="value_changed" handler="gtkhtml_editor_rule_properties_size_changed_cb" object="rule-properties-window"/>
  1061.                       </widget>
  1062.                       <packing>
  1063.                         <property name="left_attach">1</property>
  1064.                         <property name="right_attach">2</property>
  1065.                         <property name="top_attach">1</property>
  1066.                         <property name="bottom_attach">2</property>
  1067.                         <property name="y_options"></property>
  1068.                       </packing>
  1069.                     </child>
  1070.                     <child>
  1071.                       <widget class="GtkComboBox" id="rule-properties-width-combo-box">
  1072.                         <property name="visible">True</property>
  1073.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1074.                         <property name="items" translatable="yes">px
  1075. %</property>
  1076.                         <signal name="changed" handler="gtkhtml_editor_rule_properties_width_changed_cb" object="rule-properties-window"/>
  1077.                       </widget>
  1078.                       <packing>
  1079.                         <property name="left_attach">2</property>
  1080.                         <property name="right_attach">3</property>
  1081.                         <property name="x_options"></property>
  1082.                         <property name="y_options"></property>
  1083.                       </packing>
  1084.                     </child>
  1085.                   </widget>
  1086.                 </child>
  1087.               </widget>
  1088.               <packing>
  1089.                 <property name="position">1</property>
  1090.               </packing>
  1091.             </child>
  1092.           </widget>
  1093.           <packing>
  1094.             <property name="expand">False</property>
  1095.             <property name="fill">False</property>
  1096.           </packing>
  1097.         </child>
  1098.         <child>
  1099.           <widget class="GtkVBox" id="rule-properties-style-vbox">
  1100.             <property name="visible">True</property>
  1101.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1102.             <property name="spacing">6</property>
  1103.             <child>
  1104.               <widget class="GtkLabel" id="rule-properties-style-header">
  1105.                 <property name="visible">True</property>
  1106.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1107.                 <property name="xalign">0</property>
  1108.                 <property name="label" translatable="yes"><b>Style</b></property>
  1109.                 <property name="use_markup">True</property>
  1110.               </widget>
  1111.             </child>
  1112.             <child>
  1113.               <widget class="GtkAlignment" id="rule-properties-style-alignment">
  1114.                 <property name="visible">True</property>
  1115.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1116.                 <property name="left_padding">12</property>
  1117.                 <child>
  1118.                   <widget class="GtkTable" id="rule-properties-style-table">
  1119.                     <property name="visible">True</property>
  1120.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1121.                     <property name="n_rows">2</property>
  1122.                     <property name="n_columns">2</property>
  1123.                     <property name="column_spacing">6</property>
  1124.                     <property name="row_spacing">6</property>
  1125.                     <child>
  1126.                       <widget class="GtkLabel" id="rule-properties-alignment-label">
  1127.                         <property name="visible">True</property>
  1128.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1129.                         <property name="xalign">1</property>
  1130.                         <property name="label" translatable="yes">_Alignment:</property>
  1131.                         <property name="use_underline">True</property>
  1132.                       </widget>
  1133.                       <packing>
  1134.                         <property name="x_options"></property>
  1135.                         <property name="y_options"></property>
  1136.                       </packing>
  1137.                     </child>
  1138.                     <child>
  1139.                       <widget class="GtkComboBox" id="rule-properties-alignment-combo-box">
  1140.                         <property name="visible">True</property>
  1141.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1142.                         <property name="items" translatable="yes">Left
  1143. Center
  1144. Right</property>
  1145.                         <signal name="changed" handler="gtkhtml_editor_rule_properties_alignment_changed_cb" object="rule-properties-window"/>
  1146.                       </widget>
  1147.                       <packing>
  1148.                         <property name="left_attach">1</property>
  1149.                         <property name="right_attach">2</property>
  1150.                         <property name="y_options"></property>
  1151.                       </packing>
  1152.                     </child>
  1153.                     <child>
  1154.                       <widget class="GtkCheckButton" id="rule-properties-shaded-check-button">
  1155.                         <property name="visible">True</property>
  1156.                         <property name="can_focus">True</property>
  1157.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1158.                         <property name="label" translatable="yes">S_haded</property>
  1159.                         <property name="use_underline">True</property>
  1160.                         <property name="response_id">0</property>
  1161.                         <property name="draw_indicator">True</property>
  1162.                         <signal name="toggled" handler="gtkhtml_editor_rule_properties_shaded_toggled_cb" object="rule-properties-window"/>
  1163.                       </widget>
  1164.                       <packing>
  1165.                         <property name="right_attach">2</property>
  1166.                         <property name="top_attach">1</property>
  1167.                         <property name="bottom_attach">2</property>
  1168.                         <property name="y_options"></property>
  1169.                       </packing>
  1170.                     </child>
  1171.                   </widget>
  1172.                 </child>
  1173.               </widget>
  1174.               <packing>
  1175.                 <property name="position">1</property>
  1176.               </packing>
  1177.             </child>
  1178.           </widget>
  1179.           <packing>
  1180.             <property name="expand">False</property>
  1181.             <property name="fill">False</property>
  1182.             <property name="position">1</property>
  1183.           </packing>
  1184.         </child>
  1185.         <child>
  1186.           <widget class="GtkHButtonBox" id="rule-properties-button-box">
  1187.             <property name="visible">True</property>
  1188.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1189.             <property name="spacing">12</property>
  1190.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  1191.             <child>
  1192.               <widget class="GtkButton" id="rule-properties-close-button">
  1193.                 <property name="visible">True</property>
  1194.                 <property name="can_focus">True</property>
  1195.                 <property name="receives_default">True</property>
  1196.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1197.                 <property name="label">gtk-close</property>
  1198.                 <property name="use_stock">True</property>
  1199.                 <property name="response_id">0</property>
  1200.                 <signal name="clicked" handler="gtk_widget_hide" object="rule-properties-window"/>
  1201.               </widget>
  1202.               <packing>
  1203.                 <property name="position">1</property>
  1204.               </packing>
  1205.             </child>
  1206.           </widget>
  1207.           <packing>
  1208.             <property name="expand">False</property>
  1209.             <property name="fill">False</property>
  1210.             <property name="pack_type">GTK_PACK_END</property>
  1211.             <property name="position">2</property>
  1212.           </packing>
  1213.         </child>
  1214.       </widget>
  1215.     </child>
  1216.   </widget>
  1217.   <widget class="GtkWindow" id="table-properties-window">
  1218.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1219.     <property name="border_width">12</property>
  1220.     <property name="title" translatable="yes">Table Properties</property>
  1221.     <property name="resizable">False</property>
  1222.     <property name="modal">True</property>
  1223.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  1224.     <property name="destroy_with_parent">True</property>
  1225.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  1226.     <signal name="show" handler="gtkhtml_editor_table_properties_show_window_cb"/>
  1227.     <child>
  1228.       <widget class="GtkVBox" id="table-properties-vbox">
  1229.         <property name="visible">True</property>
  1230.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1231.         <property name="spacing">12</property>
  1232.         <child>
  1233.           <widget class="GtkVBox" id="table-properties-general-vbox">
  1234.             <property name="visible">True</property>
  1235.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1236.             <property name="spacing">6</property>
  1237.             <child>
  1238.               <widget class="GtkLabel" id="table-properties-general-header">
  1239.                 <property name="visible">True</property>
  1240.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1241.                 <property name="xalign">0</property>
  1242.                 <property name="label" translatable="yes"><b>General</b></property>
  1243.                 <property name="use_markup">True</property>
  1244.               </widget>
  1245.             </child>
  1246.             <child>
  1247.               <widget class="GtkAlignment" id="table-properties-general-alignment">
  1248.                 <property name="visible">True</property>
  1249.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1250.                 <property name="left_padding">12</property>
  1251.                 <child>
  1252.                   <widget class="GtkHBox" id="table-properties-general-hbox">
  1253.                     <property name="visible">True</property>
  1254.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1255.                     <property name="spacing">12</property>
  1256.                     <child>
  1257.                       <widget class="GtkHBox" id="table-properties-rows-hbox">
  1258.                         <property name="visible">True</property>
  1259.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1260.                         <property name="spacing">6</property>
  1261.                         <child>
  1262.                           <widget class="GtkImage" id="table-properties-rows-image">
  1263.                             <property name="visible">True</property>
  1264.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1265.                             <property name="icon_name">stock_select-row</property>
  1266.                           </widget>
  1267.                           <packing>
  1268.                             <property name="expand">False</property>
  1269.                             <property name="fill">False</property>
  1270.                           </packing>
  1271.                         </child>
  1272.                         <child>
  1273.                           <widget class="GtkLabel" id="table-properties-rows-label">
  1274.                             <property name="visible">True</property>
  1275.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1276.                             <property name="label" translatable="yes">_Rows:</property>
  1277.                             <property name="use_underline">True</property>
  1278.                             <property name="mnemonic_widget">table-properties-rows-spin-button</property>
  1279.                           </widget>
  1280.                           <packing>
  1281.                             <property name="expand">False</property>
  1282.                             <property name="fill">False</property>
  1283.                             <property name="position">1</property>
  1284.                           </packing>
  1285.                         </child>
  1286.                         <child>
  1287.                           <widget class="GtkSpinButton" id="table-properties-rows-spin-button">
  1288.                             <property name="visible">True</property>
  1289.                             <property name="can_focus">True</property>
  1290.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1291.                             <property name="adjustment">1 1 32767 1 10 0</property>
  1292.                             <signal name="value_changed" handler="gtkhtml_editor_table_properties_rows_changed_cb" object="table-properties-window"/>
  1293.                           </widget>
  1294.                           <packing>
  1295.                             <property name="position">2</property>
  1296.                           </packing>
  1297.                         </child>
  1298.                       </widget>
  1299.                     </child>
  1300.                     <child>
  1301.                       <widget class="GtkHBox" id="table-properties-cols-hbox">
  1302.                         <property name="visible">True</property>
  1303.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1304.                         <property name="spacing">6</property>
  1305.                         <child>
  1306.                           <widget class="GtkImage" id="table-properties-cols-image">
  1307.                             <property name="visible">True</property>
  1308.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1309.                             <property name="icon_name">stock_select-column</property>
  1310.                           </widget>
  1311.                           <packing>
  1312.                             <property name="expand">False</property>
  1313.                             <property name="fill">False</property>
  1314.                           </packing>
  1315.                         </child>
  1316.                         <child>
  1317.                           <widget class="GtkLabel" id="table-properties-cols-label">
  1318.                             <property name="visible">True</property>
  1319.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1320.                             <property name="label" translatable="yes">C_olumns:</property>
  1321.                             <property name="use_underline">True</property>
  1322.                             <property name="mnemonic_widget">table-properties-cols-spin-button</property>
  1323.                           </widget>
  1324.                           <packing>
  1325.                             <property name="expand">False</property>
  1326.                             <property name="fill">False</property>
  1327.                             <property name="position">1</property>
  1328.                           </packing>
  1329.                         </child>
  1330.                         <child>
  1331.                           <widget class="GtkSpinButton" id="table-properties-cols-spin-button">
  1332.                             <property name="visible">True</property>
  1333.                             <property name="can_focus">True</property>
  1334.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1335.                             <property name="adjustment">1 1 32767 1 10 0</property>
  1336.                             <signal name="value_changed" handler="gtkhtml_editor_table_properties_cols_changed_cb" object="table-properties-window"/>
  1337.                           </widget>
  1338.                           <packing>
  1339.                             <property name="position">2</property>
  1340.                           </packing>
  1341.                         </child>
  1342.                       </widget>
  1343.                       <packing>
  1344.                         <property name="position">1</property>
  1345.                       </packing>
  1346.                     </child>
  1347.                   </widget>
  1348.                 </child>
  1349.               </widget>
  1350.               <packing>
  1351.                 <property name="position">1</property>
  1352.               </packing>
  1353.             </child>
  1354.           </widget>
  1355.           <packing>
  1356.             <property name="expand">False</property>
  1357.             <property name="fill">False</property>
  1358.           </packing>
  1359.         </child>
  1360.         <child>
  1361.           <widget class="GtkVBox" id="table-properties-layout-vbox">
  1362.             <property name="visible">True</property>
  1363.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1364.             <property name="spacing">6</property>
  1365.             <child>
  1366.               <widget class="GtkLabel" id="table-properties-layout-header">
  1367.                 <property name="visible">True</property>
  1368.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1369.                 <property name="xalign">0</property>
  1370.                 <property name="label" translatable="yes"><b>Layout</b></property>
  1371.                 <property name="use_markup">True</property>
  1372.               </widget>
  1373.             </child>
  1374.             <child>
  1375.               <widget class="GtkAlignment" id="table-properties-layout-alignment">
  1376.                 <property name="visible">True</property>
  1377.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1378.                 <property name="left_padding">12</property>
  1379.                 <child>
  1380.                   <widget class="GtkTable" id="table-properties-layout-left-table">
  1381.                     <property name="visible">True</property>
  1382.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1383.                     <property name="n_rows">3</property>
  1384.                     <property name="n_columns">7</property>
  1385.                     <property name="column_spacing">6</property>
  1386.                     <property name="row_spacing">6</property>
  1387.                     <child>
  1388.                       <placeholder/>
  1389.                     </child>
  1390.                     <child>
  1391.                       <placeholder/>
  1392.                     </child>
  1393.                     <child>
  1394.                       <placeholder/>
  1395.                     </child>
  1396.                     <child>
  1397.                       <placeholder/>
  1398.                     </child>
  1399.                     <child>
  1400.                       <placeholder/>
  1401.                     </child>
  1402.                     <child>
  1403.                       <placeholder/>
  1404.                     </child>
  1405.                     <child>
  1406.                       <widget class="GtkLabel" id="table-properties-border-units-label">
  1407.                         <property name="visible">True</property>
  1408.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1409.                         <property name="xalign">0</property>
  1410.                         <property name="label" translatable="yes">px</property>
  1411.                       </widget>
  1412.                       <packing>
  1413.                         <property name="left_attach">6</property>
  1414.                         <property name="right_attach">7</property>
  1415.                         <property name="top_attach">2</property>
  1416.                         <property name="bottom_attach">3</property>
  1417.                         <property name="x_options"></property>
  1418.                         <property name="y_options"></property>
  1419.                       </packing>
  1420.                     </child>
  1421.                     <child>
  1422.                       <widget class="GtkLabel" id="table-properties-padding-units-label">
  1423.                         <property name="visible">True</property>
  1424.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1425.                         <property name="xalign">0</property>
  1426.                         <property name="label" translatable="yes">px</property>
  1427.                       </widget>
  1428.                       <packing>
  1429.                         <property name="left_attach">6</property>
  1430.                         <property name="right_attach">7</property>
  1431.                         <property name="top_attach">1</property>
  1432.                         <property name="bottom_attach">2</property>
  1433.                         <property name="x_options"></property>
  1434.                         <property name="y_options"></property>
  1435.                       </packing>
  1436.                     </child>
  1437.                     <child>
  1438.                       <widget class="GtkLabel" id="table-properties-spacing-units-label">
  1439.                         <property name="visible">True</property>
  1440.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1441.                         <property name="xalign">0</property>
  1442.                         <property name="label" translatable="yes">px</property>
  1443.                       </widget>
  1444.                       <packing>
  1445.                         <property name="left_attach">6</property>
  1446.                         <property name="right_attach">7</property>
  1447.                         <property name="x_options"></property>
  1448.                         <property name="y_options"></property>
  1449.                       </packing>
  1450.                     </child>
  1451.                     <child>
  1452.                       <widget class="GtkComboBox" id="table-properties-width-combo-box">
  1453.                         <property name="visible">True</property>
  1454.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1455.                         <property name="items" translatable="yes">px
  1456. %</property>
  1457.                         <signal name="changed" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
  1458.                       </widget>
  1459.                       <packing>
  1460.                         <property name="left_attach">2</property>
  1461.                         <property name="right_attach">3</property>
  1462.                         <property name="x_options"></property>
  1463.                         <property name="y_options"></property>
  1464.                       </packing>
  1465.                     </child>
  1466.                     <child>
  1467.                       <widget class="GtkSpinButton" id="table-properties-width-spin-button">
  1468.                         <property name="width_request">100</property>
  1469.                         <property name="visible">True</property>
  1470.                         <property name="can_focus">True</property>
  1471.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1472.                         <property name="adjustment">1 1 100 1 10 0</property>
  1473.                         <signal name="value_changed" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
  1474.                       </widget>
  1475.                       <packing>
  1476.                         <property name="left_attach">1</property>
  1477.                         <property name="right_attach">2</property>
  1478.                         <property name="y_options"></property>
  1479.                       </packing>
  1480.                     </child>
  1481.                     <child>
  1482.                       <widget class="GtkCheckButton" id="table-properties-width-check-button">
  1483.                         <property name="visible">True</property>
  1484.                         <property name="can_focus">True</property>
  1485.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1486.                         <property name="label" translatable="yes">_Width:</property>
  1487.                         <property name="use_underline">True</property>
  1488.                         <property name="xalign">1</property>
  1489.                         <property name="response_id">0</property>
  1490.                         <property name="draw_indicator">True</property>
  1491.                         <signal name="toggled" handler="gtkhtml_editor_table_properties_width_changed_cb" object="table-properties-window"/>
  1492.                       </widget>
  1493.                       <packing>
  1494.                         <property name="x_options">GTK_FILL</property>
  1495.                         <property name="y_options"></property>
  1496.                       </packing>
  1497.                     </child>
  1498.                     <child>
  1499.                       <widget class="GtkComboBox" id="table-properties-alignment-combo-box">
  1500.                         <property name="visible">True</property>
  1501.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1502.                         <property name="items" translatable="yes">Left
  1503. Center
  1504. Right</property>
  1505.                         <signal name="changed" handler="gtkhtml_editor_table_properties_alignment_changed_cb" object="table-properties-window"/>
  1506.                       </widget>
  1507.                       <packing>
  1508.                         <property name="left_attach">1</property>
  1509.                         <property name="right_attach">3</property>
  1510.                         <property name="top_attach">1</property>
  1511.                         <property name="bottom_attach">2</property>
  1512.                         <property name="x_options">GTK_FILL</property>
  1513.                         <property name="y_options"></property>
  1514.                       </packing>
  1515.                     </child>
  1516.                     <child>
  1517.                       <widget class="GtkLabel" id="table-properties-alignment-label">
  1518.                         <property name="visible">True</property>
  1519.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1520.                         <property name="xalign">1</property>
  1521.                         <property name="label" translatable="yes">_Alignment:</property>
  1522.                         <property name="use_underline">True</property>
  1523.                         <property name="mnemonic_widget">table-properties-alignment-combo-box</property>
  1524.                       </widget>
  1525.                       <packing>
  1526.                         <property name="top_attach">1</property>
  1527.                         <property name="bottom_attach">2</property>
  1528.                         <property name="x_options">GTK_FILL</property>
  1529.                         <property name="y_options"></property>
  1530.                       </packing>
  1531.                     </child>
  1532.                     <child>
  1533.                       <widget class="GtkLabel" id="table-properties-spacing-label">
  1534.                         <property name="visible">True</property>
  1535.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1536.                         <property name="xalign">1</property>
  1537.                         <property name="label" translatable="yes">_Spacing:</property>
  1538.                         <property name="use_underline">True</property>
  1539.                         <property name="mnemonic_widget">table-properties-spacing-spin-button</property>
  1540.                       </widget>
  1541.                       <packing>
  1542.                         <property name="left_attach">4</property>
  1543.                         <property name="right_attach">5</property>
  1544.                         <property name="x_options">GTK_FILL</property>
  1545.                         <property name="y_options"></property>
  1546.                       </packing>
  1547.                     </child>
  1548.                     <child>
  1549.                       <widget class="GtkLabel" id="table-properties-padding-label">
  1550.                         <property name="visible">True</property>
  1551.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1552.                         <property name="xalign">1</property>
  1553.                         <property name="label" translatable="yes">_Padding:</property>
  1554.                         <property name="use_underline">True</property>
  1555.                         <property name="mnemonic_widget">table-properties-padding-spin-button</property>
  1556.                       </widget>
  1557.                       <packing>
  1558.                         <property name="left_attach">4</property>
  1559.                         <property name="right_attach">5</property>
  1560.                         <property name="top_attach">1</property>
  1561.                         <property name="bottom_attach">2</property>
  1562.                         <property name="x_options">GTK_FILL</property>
  1563.                         <property name="y_options"></property>
  1564.                       </packing>
  1565.                     </child>
  1566.                     <child>
  1567.                       <widget class="GtkLabel" id="table-properties-border-label">
  1568.                         <property name="visible">True</property>
  1569.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1570.                         <property name="xalign">1</property>
  1571.                         <property name="label" translatable="yes">_Border:</property>
  1572.                         <property name="use_underline">True</property>
  1573.                         <property name="mnemonic_widget">table-properties-border-spin-button</property>
  1574.                       </widget>
  1575.                       <packing>
  1576.                         <property name="left_attach">4</property>
  1577.                         <property name="right_attach">5</property>
  1578.                         <property name="top_attach">2</property>
  1579.                         <property name="bottom_attach">3</property>
  1580.                         <property name="x_options">GTK_FILL</property>
  1581.                         <property name="y_options"></property>
  1582.                       </packing>
  1583.                     </child>
  1584.                     <child>
  1585.                       <widget class="GtkSpinButton" id="table-properties-spacing-spin-button">
  1586.                         <property name="visible">True</property>
  1587.                         <property name="can_focus">True</property>
  1588.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1589.                         <property name="adjustment">0 0 32767 1 10 0</property>
  1590.                         <signal name="value_changed" handler="gtkhtml_editor_table_properties_spacing_changed_cb" object="table-properties-window"/>
  1591.                       </widget>
  1592.                       <packing>
  1593.                         <property name="left_attach">5</property>
  1594.                         <property name="right_attach">6</property>
  1595.                         <property name="y_options"></property>
  1596.                       </packing>
  1597.                     </child>
  1598.                     <child>
  1599.                       <widget class="GtkSpinButton" id="table-properties-padding-spin-button">
  1600.                         <property name="visible">True</property>
  1601.                         <property name="can_focus">True</property>
  1602.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1603.                         <property name="adjustment">0 0 32767 1 10 0</property>
  1604.                         <signal name="value_changed" handler="gtkhtml_editor_table_properties_padding_changed_cb" object="table-properties-window"/>
  1605.                       </widget>
  1606.                       <packing>
  1607.                         <property name="left_attach">5</property>
  1608.                         <property name="right_attach">6</property>
  1609.                         <property name="top_attach">1</property>
  1610.                         <property name="bottom_attach">2</property>
  1611.                         <property name="y_options"></property>
  1612.                       </packing>
  1613.                     </child>
  1614.                     <child>
  1615.                       <widget class="GtkSpinButton" id="table-properties-border-spin-button">
  1616.                         <property name="visible">True</property>
  1617.                         <property name="can_focus">True</property>
  1618.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1619.                         <property name="adjustment">0 0 32767 1 10 0</property>
  1620.                         <signal name="value_changed" handler="gtkhtml_editor_table_properties_border_changed_cb" object="table-properties-window"/>
  1621.                       </widget>
  1622.                       <packing>
  1623.                         <property name="left_attach">5</property>
  1624.                         <property name="right_attach">6</property>
  1625.                         <property name="top_attach">2</property>
  1626.                         <property name="bottom_attach">3</property>
  1627.                         <property name="y_options"></property>
  1628.                       </packing>
  1629.                     </child>
  1630.                   </widget>
  1631.                 </child>
  1632.               </widget>
  1633.               <packing>
  1634.                 <property name="position">1</property>
  1635.               </packing>
  1636.             </child>
  1637.           </widget>
  1638.           <packing>
  1639.             <property name="expand">False</property>
  1640.             <property name="fill">False</property>
  1641.             <property name="position">1</property>
  1642.           </packing>
  1643.         </child>
  1644.         <child>
  1645.           <widget class="GtkVBox" id="table-properties-background-vbox">
  1646.             <property name="visible">True</property>
  1647.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1648.             <property name="spacing">6</property>
  1649.             <child>
  1650.               <widget class="GtkLabel" id="table-properties-background-header">
  1651.                 <property name="visible">True</property>
  1652.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1653.                 <property name="xalign">0</property>
  1654.                 <property name="label" translatable="yes"><b>Background</b></property>
  1655.                 <property name="use_markup">True</property>
  1656.               </widget>
  1657.             </child>
  1658.             <child>
  1659.               <widget class="GtkAlignment" id="table-properties-background-alignment">
  1660.                 <property name="visible">True</property>
  1661.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1662.                 <property name="left_padding">12</property>
  1663.                 <child>
  1664.                   <widget class="GtkTable" id="table-properties-background-table">
  1665.                     <property name="visible">True</property>
  1666.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1667.                     <property name="n_rows">2</property>
  1668.                     <property name="n_columns">2</property>
  1669.                     <property name="column_spacing">6</property>
  1670.                     <property name="row_spacing">6</property>
  1671.                     <child>
  1672.                       <widget class="GtkLabel" id="table-properties-color-label">
  1673.                         <property name="visible">True</property>
  1674.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1675.                         <property name="xalign">1</property>
  1676.                         <property name="label" translatable="yes">Co_lor:</property>
  1677.                         <property name="use_underline">True</property>
  1678.                       </widget>
  1679.                       <packing>
  1680.                         <property name="x_options">GTK_FILL</property>
  1681.                         <property name="y_options"></property>
  1682.                       </packing>
  1683.                     </child>
  1684.                     <child>
  1685.                       <widget class="GtkLabel" id="table-properties-image-label">
  1686.                         <property name="visible">True</property>
  1687.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1688.                         <property name="xalign">1</property>
  1689.                         <property name="label" translatable="yes">_Image:</property>
  1690.                         <property name="use_underline">True</property>
  1691.                         <property name="mnemonic_widget">table-properties-image-button</property>
  1692.                       </widget>
  1693.                       <packing>
  1694.                         <property name="top_attach">1</property>
  1695.                         <property name="bottom_attach">2</property>
  1696.                         <property name="x_options">GTK_FILL</property>
  1697.                         <property name="y_options"></property>
  1698.                       </packing>
  1699.                     </child>
  1700.                     <child>
  1701.                       <widget class="GtkFileChooserButton" id="table-properties-image-button">
  1702.                         <property name="visible">True</property>
  1703.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1704.                         <signal name="selection_changed" handler="gtkhtml_editor_table_properties_image_changed_cb" object="table-properties-window"/>
  1705.                       </widget>
  1706.                       <packing>
  1707.                         <property name="left_attach">1</property>
  1708.                         <property name="right_attach">2</property>
  1709.                         <property name="top_attach">1</property>
  1710.                         <property name="bottom_attach">2</property>
  1711.                         <property name="y_options"></property>
  1712.                       </packing>
  1713.                     </child>
  1714.                     <child>
  1715.                       <widget class="GtkhtmlColorCombo" id="table-properties-color-combo">
  1716.                         <property name="visible">True</property>
  1717.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1718.                         <property name="default_color">#000000000000</property>
  1719.                         <property name="default_label">Transparent</property>
  1720.                         <property name="default_transparent">True</property>
  1721.                         <signal name="changed" handler="gtkhtml_editor_table_properties_color_changed_cb" object="table-properties-window"/>
  1722.                       </widget>
  1723.                       <packing>
  1724.                         <property name="left_attach">1</property>
  1725.                         <property name="right_attach">2</property>
  1726.                       </packing>
  1727.                     </child>
  1728.                   </widget>
  1729.                 </child>
  1730.               </widget>
  1731.               <packing>
  1732.                 <property name="position">1</property>
  1733.               </packing>
  1734.             </child>
  1735.           </widget>
  1736.           <packing>
  1737.             <property name="expand">False</property>
  1738.             <property name="fill">False</property>
  1739.             <property name="position">2</property>
  1740.           </packing>
  1741.         </child>
  1742.         <child>
  1743.           <widget class="GtkHButtonBox" id="table-properties-button-box">
  1744.             <property name="visible">True</property>
  1745.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1746.             <property name="spacing">12</property>
  1747.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  1748.             <child>
  1749.               <widget class="GtkButton" id="table-properties-close-button">
  1750.                 <property name="visible">True</property>
  1751.                 <property name="can_focus">True</property>
  1752.                 <property name="receives_default">True</property>
  1753.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1754.                 <property name="label">gtk-close</property>
  1755.                 <property name="use_stock">True</property>
  1756.                 <property name="response_id">0</property>
  1757.                 <signal name="clicked" handler="gtk_widget_hide" object="table-properties-window"/>
  1758.               </widget>
  1759.               <packing>
  1760.                 <property name="position">1</property>
  1761.               </packing>
  1762.             </child>
  1763.           </widget>
  1764.           <packing>
  1765.             <property name="expand">False</property>
  1766.             <property name="fill">False</property>
  1767.             <property name="pack_type">GTK_PACK_END</property>
  1768.             <property name="position">3</property>
  1769.           </packing>
  1770.         </child>
  1771.       </widget>
  1772.     </child>
  1773.   </widget>
  1774.   <widget class="GtkWindow" id="page-properties-window">
  1775.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1776.     <property name="border_width">12</property>
  1777.     <property name="title" translatable="yes">Page Properties</property>
  1778.     <property name="resizable">False</property>
  1779.     <property name="modal">True</property>
  1780.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  1781.     <property name="destroy_with_parent">True</property>
  1782.     <signal name="realize" handler="gtkhtml_editor_page_properties_window_realized_cb"/>
  1783.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  1784.     <child>
  1785.       <widget class="GtkVBox" id="page-properties-vbox">
  1786.         <property name="visible">True</property>
  1787.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1788.         <property name="spacing">12</property>
  1789.         <child>
  1790.           <widget class="GtkVBox" id="page-properties-colors-vbox">
  1791.             <property name="visible">True</property>
  1792.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1793.             <property name="spacing">6</property>
  1794.             <child>
  1795.               <widget class="GtkLabel" id="page-properties-colors-header">
  1796.                 <property name="visible">True</property>
  1797.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1798.                 <property name="xalign">0</property>
  1799.                 <property name="label" translatable="yes"><b>Colors</b></property>
  1800.                 <property name="use_markup">True</property>
  1801.               </widget>
  1802.               <packing>
  1803.                 <property name="expand">False</property>
  1804.                 <property name="fill">False</property>
  1805.               </packing>
  1806.             </child>
  1807.             <child>
  1808.               <widget class="GtkAlignment" id="page-properties-colors-alignment">
  1809.                 <property name="visible">True</property>
  1810.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1811.                 <property name="left_padding">12</property>
  1812.                 <child>
  1813.                   <widget class="GtkTable" id="page-properties-colors-table">
  1814.                     <property name="visible">True</property>
  1815.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1816.                     <property name="n_rows">3</property>
  1817.                     <property name="n_columns">2</property>
  1818.                     <property name="column_spacing">6</property>
  1819.                     <property name="row_spacing">6</property>
  1820.                     <child>
  1821.                       <widget class="GtkLabel" id="page-properties-text-label">
  1822.                         <property name="visible">True</property>
  1823.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1824.                         <property name="xalign">1</property>
  1825.                         <property name="label" translatable="yes">_Text:</property>
  1826.                         <property name="use_underline">True</property>
  1827.                       </widget>
  1828.                       <packing>
  1829.                         <property name="x_options">GTK_FILL</property>
  1830.                       </packing>
  1831.                     </child>
  1832.                     <child>
  1833.                       <widget class="GtkLabel" id="page-properties-link-label">
  1834.                         <property name="visible">True</property>
  1835.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1836.                         <property name="xalign">1</property>
  1837.                         <property name="label" translatable="yes">_Link:</property>
  1838.                         <property name="use_underline">True</property>
  1839.                       </widget>
  1840.                       <packing>
  1841.                         <property name="top_attach">1</property>
  1842.                         <property name="bottom_attach">2</property>
  1843.                         <property name="x_options">GTK_FILL</property>
  1844.                       </packing>
  1845.                     </child>
  1846.                     <child>
  1847.                       <widget class="GtkLabel" id="page-properties-background-label">
  1848.                         <property name="visible">True</property>
  1849.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1850.                         <property name="xalign">1</property>
  1851.                         <property name="label" translatable="yes">_Background:</property>
  1852.                         <property name="use_underline">True</property>
  1853.                       </widget>
  1854.                       <packing>
  1855.                         <property name="top_attach">2</property>
  1856.                         <property name="bottom_attach">3</property>
  1857.                         <property name="x_options">GTK_FILL</property>
  1858.                       </packing>
  1859.                     </child>
  1860.                     <child>
  1861.                       <widget class="GtkhtmlColorCombo" id="page-properties-text-color-combo">
  1862.                         <property name="visible">True</property>
  1863.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1864.                         <property name="default_color">#000000000000</property>
  1865.                         <property name="default_label">Automatic</property>
  1866.                         <signal name="changed" handler="gtkhtml_editor_page_properties_text_color_changed_cb" object="page-properties-window"/>
  1867.                       </widget>
  1868.                       <packing>
  1869.                         <property name="left_attach">1</property>
  1870.                         <property name="right_attach">2</property>
  1871.                       </packing>
  1872.                     </child>
  1873.                     <child>
  1874.                       <widget class="GtkhtmlColorCombo" id="page-properties-link-color-combo">
  1875.                         <property name="visible">True</property>
  1876.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1877.                         <property name="default_color">#000000000000</property>
  1878.                         <property name="default_label">_Automatic</property>
  1879.                         <signal name="changed" handler="gtkhtml_editor_page_properties_link_color_changed_cb" object="page-properties-window"/>
  1880.                       </widget>
  1881.                       <packing>
  1882.                         <property name="left_attach">1</property>
  1883.                         <property name="right_attach">2</property>
  1884.                         <property name="top_attach">1</property>
  1885.                         <property name="bottom_attach">2</property>
  1886.                       </packing>
  1887.                     </child>
  1888.                     <child>
  1889.                       <widget class="GtkhtmlColorCombo" id="page-properties-background-color-combo">
  1890.                         <property name="visible">True</property>
  1891.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1892.                         <property name="default_color">#000000000000</property>
  1893.                         <property name="default_label">Automatic</property>
  1894.                         <signal name="changed" handler="gtkhtml_editor_page_properties_background_color_changed_cb" object="page-properties-window"/>
  1895.                       </widget>
  1896.                       <packing>
  1897.                         <property name="left_attach">1</property>
  1898.                         <property name="right_attach">2</property>
  1899.                         <property name="top_attach">2</property>
  1900.                         <property name="bottom_attach">3</property>
  1901.                       </packing>
  1902.                     </child>
  1903.                   </widget>
  1904.                 </child>
  1905.               </widget>
  1906.               <packing>
  1907.                 <property name="position">1</property>
  1908.               </packing>
  1909.             </child>
  1910.           </widget>
  1911.           <packing>
  1912.             <property name="expand">False</property>
  1913.             <property name="fill">False</property>
  1914.           </packing>
  1915.         </child>
  1916.         <child>
  1917.           <widget class="GtkVBox" id="page-properties-background-vbox">
  1918.             <property name="visible">True</property>
  1919.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1920.             <property name="spacing">6</property>
  1921.             <child>
  1922.               <widget class="GtkLabel" id="page-properties-background-header">
  1923.                 <property name="visible">True</property>
  1924.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1925.                 <property name="xalign">0</property>
  1926.                 <property name="label" translatable="yes"><b>Background Image</b></property>
  1927.                 <property name="use_markup">True</property>
  1928.               </widget>
  1929.               <packing>
  1930.                 <property name="expand">False</property>
  1931.                 <property name="fill">False</property>
  1932.               </packing>
  1933.             </child>
  1934.             <child>
  1935.               <widget class="GtkAlignment" id="page-properties-background-alignment">
  1936.                 <property name="visible">True</property>
  1937.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1938.                 <property name="left_padding">12</property>
  1939.                 <child>
  1940.                   <widget class="GtkTable" id="page-properties-backgrond-table">
  1941.                     <property name="visible">True</property>
  1942.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1943.                     <property name="n_rows">2</property>
  1944.                     <property name="n_columns">2</property>
  1945.                     <property name="column_spacing">6</property>
  1946.                     <property name="row_spacing">6</property>
  1947.                     <child>
  1948.                       <widget class="GtkLabel" id="page-properties-template-label">
  1949.                         <property name="visible">True</property>
  1950.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1951.                         <property name="xalign">1</property>
  1952.                         <property name="label" translatable="yes">T_emplate:</property>
  1953.                         <property name="use_underline">True</property>
  1954.                       </widget>
  1955.                       <packing>
  1956.                         <property name="x_options">GTK_FILL</property>
  1957.                       </packing>
  1958.                     </child>
  1959.                     <child>
  1960.                       <widget class="GtkLabel" id="page-properties-custom-label">
  1961.                         <property name="visible">True</property>
  1962.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1963.                         <property name="xalign">1</property>
  1964.                         <property name="label" translatable="yes">C_ustom:</property>
  1965.                         <property name="use_underline">True</property>
  1966.                       </widget>
  1967.                       <packing>
  1968.                         <property name="top_attach">1</property>
  1969.                         <property name="bottom_attach">2</property>
  1970.                         <property name="x_options">GTK_FILL</property>
  1971.                       </packing>
  1972.                     </child>
  1973.                     <child>
  1974.                       <widget class="GtkFileChooserButton" id="page-properties-custom-file-chooser">
  1975.                         <property name="width_request">200</property>
  1976.                         <property name="visible">True</property>
  1977.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1978.                         <signal name="selection_changed" handler="gtkhtml_editor_page_properties_custom_file_changed_cb" object="page-properties-window"/>
  1979.                       </widget>
  1980.                       <packing>
  1981.                         <property name="left_attach">1</property>
  1982.                         <property name="right_attach">2</property>
  1983.                         <property name="top_attach">1</property>
  1984.                         <property name="bottom_attach">2</property>
  1985.                       </packing>
  1986.                     </child>
  1987.                     <child>
  1988.                       <widget class="GtkComboBox" id="page-properties-template-combo-box">
  1989.                         <property name="visible">True</property>
  1990.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  1991.                         <property name="items" translatable="yes">None
  1992. Perforated Paper
  1993. Blue Ink
  1994. Paper
  1995. Ribbon
  1996. Midnight
  1997. Confidential
  1998. Draft
  1999. Graph Paper</property>
  2000.                         <signal name="changed" handler="gtkhtml_editor_page_properties_template_changed_cb" object="page-properties-window"/>
  2001.                       </widget>
  2002.                       <packing>
  2003.                         <property name="left_attach">1</property>
  2004.                         <property name="right_attach">2</property>
  2005.                       </packing>
  2006.                     </child>
  2007.                   </widget>
  2008.                 </child>
  2009.               </widget>
  2010.               <packing>
  2011.                 <property name="position">1</property>
  2012.               </packing>
  2013.             </child>
  2014.           </widget>
  2015.           <packing>
  2016.             <property name="expand">False</property>
  2017.             <property name="fill">False</property>
  2018.             <property name="position">1</property>
  2019.           </packing>
  2020.         </child>
  2021.         <child>
  2022.           <widget class="GtkHButtonBox" id="page-properties-button-box">
  2023.             <property name="visible">True</property>
  2024.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2025.             <property name="spacing">12</property>
  2026.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  2027.             <child>
  2028.               <widget class="GtkButton" id="page-properties-close-button">
  2029.                 <property name="visible">True</property>
  2030.                 <property name="can_focus">True</property>
  2031.                 <property name="receives_default">True</property>
  2032.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2033.                 <property name="label">gtk-close</property>
  2034.                 <property name="use_stock">True</property>
  2035.                 <property name="response_id">0</property>
  2036.                 <signal name="clicked" handler="gtk_widget_hide" object="page-properties-window"/>
  2037.               </widget>
  2038.               <packing>
  2039.                 <property name="position">1</property>
  2040.               </packing>
  2041.             </child>
  2042.           </widget>
  2043.           <packing>
  2044.             <property name="expand">False</property>
  2045.             <property name="fill">False</property>
  2046.             <property name="pack_type">GTK_PACK_END</property>
  2047.             <property name="position">2</property>
  2048.           </packing>
  2049.         </child>
  2050.       </widget>
  2051.     </child>
  2052.   </widget>
  2053.   <widget class="GtkWindow" id="cell-properties-window">
  2054.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2055.     <property name="border_width">1</property>
  2056.     <property name="title" translatable="yes">Cell Properties</property>
  2057.     <property name="resizable">False</property>
  2058.     <property name="modal">True</property>
  2059.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  2060.     <property name="destroy_with_parent">True</property>
  2061.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  2062.     <signal name="show" handler="gtkhtml_editor_cell_properties_show_window_cb"/>
  2063.     <child>
  2064.       <widget class="GtkVBox" id="cell-properties-vbox">
  2065.         <property name="visible">True</property>
  2066.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2067.         <property name="border_width">12</property>
  2068.         <property name="spacing">12</property>
  2069.         <child>
  2070.           <widget class="GtkVBox" id="cell-properties-scope-vbox">
  2071.             <property name="visible">True</property>
  2072.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2073.             <property name="spacing">6</property>
  2074.             <child>
  2075.               <widget class="GtkLabel" id="cell-properties-scope-header">
  2076.                 <property name="visible">True</property>
  2077.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2078.                 <property name="xalign">0</property>
  2079.                 <property name="label" translatable="yes"><b>Scope</b></property>
  2080.                 <property name="use_markup">True</property>
  2081.               </widget>
  2082.             </child>
  2083.             <child>
  2084.               <widget class="GtkAlignment" id="cell-properties-scope-alignment">
  2085.                 <property name="visible">True</property>
  2086.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2087.                 <property name="left_padding">12</property>
  2088.                 <child>
  2089.                   <widget class="GtkTable" id="cell-properties-scope-table">
  2090.                     <property name="visible">True</property>
  2091.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2092.                     <property name="n_rows">2</property>
  2093.                     <property name="n_columns">5</property>
  2094.                     <property name="column_spacing">6</property>
  2095.                     <property name="row_spacing">6</property>
  2096.                     <child>
  2097.                       <placeholder/>
  2098.                     </child>
  2099.                     <child>
  2100.                       <placeholder/>
  2101.                     </child>
  2102.                     <child>
  2103.                       <widget class="GtkRadioButton" id="cell-properties-column-radio-button">
  2104.                         <property name="visible">True</property>
  2105.                         <property name="can_focus">True</property>
  2106.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2107.                         <property name="label" translatable="yes">Col_umn</property>
  2108.                         <property name="use_underline">True</property>
  2109.                         <property name="response_id">0</property>
  2110.                         <property name="active">True</property>
  2111.                         <property name="draw_indicator">True</property>
  2112.                         <property name="group">cell-properties-cell-radio-button</property>
  2113.                         <signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
  2114.                       </widget>
  2115.                       <packing>
  2116.                         <property name="left_attach">4</property>
  2117.                         <property name="right_attach">5</property>
  2118.                         <property name="top_attach">1</property>
  2119.                         <property name="bottom_attach">2</property>
  2120.                         <property name="x_options">GTK_FILL</property>
  2121.                         <property name="y_options"></property>
  2122.                       </packing>
  2123.                     </child>
  2124.                     <child>
  2125.                       <widget class="GtkRadioButton" id="cell-properties-row-radio-button">
  2126.                         <property name="visible">True</property>
  2127.                         <property name="can_focus">True</property>
  2128.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2129.                         <property name="label" translatable="yes">_Row</property>
  2130.                         <property name="use_underline">True</property>
  2131.                         <property name="response_id">0</property>
  2132.                         <property name="active">True</property>
  2133.                         <property name="draw_indicator">True</property>
  2134.                         <property name="group">cell-properties-cell-radio-button</property>
  2135.                         <signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
  2136.                       </widget>
  2137.                       <packing>
  2138.                         <property name="left_attach">4</property>
  2139.                         <property name="right_attach">5</property>
  2140.                         <property name="x_options">GTK_FILL</property>
  2141.                         <property name="y_options"></property>
  2142.                       </packing>
  2143.                     </child>
  2144.                     <child>
  2145.                       <widget class="GtkRadioButton" id="cell-properties-table-radio-button">
  2146.                         <property name="visible">True</property>
  2147.                         <property name="can_focus">True</property>
  2148.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2149.                         <property name="label" translatable="yes">_Table</property>
  2150.                         <property name="use_underline">True</property>
  2151.                         <property name="response_id">0</property>
  2152.                         <property name="active">True</property>
  2153.                         <property name="draw_indicator">True</property>
  2154.                         <property name="group">cell-properties-cell-radio-button</property>
  2155.                         <signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
  2156.                       </widget>
  2157.                       <packing>
  2158.                         <property name="left_attach">1</property>
  2159.                         <property name="right_attach">2</property>
  2160.                         <property name="top_attach">1</property>
  2161.                         <property name="bottom_attach">2</property>
  2162.                         <property name="x_options">GTK_FILL</property>
  2163.                         <property name="y_options"></property>
  2164.                       </packing>
  2165.                     </child>
  2166.                     <child>
  2167.                       <widget class="GtkRadioButton" id="cell-properties-cell-radio-button">
  2168.                         <property name="visible">True</property>
  2169.                         <property name="can_focus">True</property>
  2170.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2171.                         <property name="label" translatable="yes">C_ell</property>
  2172.                         <property name="use_underline">True</property>
  2173.                         <property name="response_id">0</property>
  2174.                         <property name="active">True</property>
  2175.                         <property name="draw_indicator">True</property>
  2176.                         <signal name="toggled" handler="gtkhtml_editor_cell_properties_scope_toggled_cb" object="cell-properties-window"/>
  2177.                       </widget>
  2178.                       <packing>
  2179.                         <property name="left_attach">1</property>
  2180.                         <property name="right_attach">2</property>
  2181.                         <property name="x_options">GTK_FILL</property>
  2182.                         <property name="y_options"></property>
  2183.                       </packing>
  2184.                     </child>
  2185.                     <child>
  2186.                       <widget class="GtkImage" id="cell-properties-column-image">
  2187.                         <property name="visible">True</property>
  2188.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2189.                         <property name="icon_name">stock_select-column</property>
  2190.                       </widget>
  2191.                       <packing>
  2192.                         <property name="left_attach">3</property>
  2193.                         <property name="right_attach">4</property>
  2194.                         <property name="top_attach">1</property>
  2195.                         <property name="bottom_attach">2</property>
  2196.                         <property name="x_options"></property>
  2197.                         <property name="y_options"></property>
  2198.                       </packing>
  2199.                     </child>
  2200.                     <child>
  2201.                       <widget class="GtkImage" id="cell-properties-row-image">
  2202.                         <property name="visible">True</property>
  2203.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2204.                         <property name="icon_name">stock_select-row</property>
  2205.                       </widget>
  2206.                       <packing>
  2207.                         <property name="left_attach">3</property>
  2208.                         <property name="right_attach">4</property>
  2209.                         <property name="x_options"></property>
  2210.                         <property name="y_options"></property>
  2211.                       </packing>
  2212.                     </child>
  2213.                     <child>
  2214.                       <widget class="GtkImage" id="cell-properties-table-image">
  2215.                         <property name="visible">True</property>
  2216.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2217.                         <property name="icon_name">stock_select-table</property>
  2218.                       </widget>
  2219.                       <packing>
  2220.                         <property name="top_attach">1</property>
  2221.                         <property name="bottom_attach">2</property>
  2222.                         <property name="x_options"></property>
  2223.                         <property name="y_options"></property>
  2224.                       </packing>
  2225.                     </child>
  2226.                     <child>
  2227.                       <widget class="GtkImage" id="cell-properties-cell-image">
  2228.                         <property name="visible">True</property>
  2229.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2230.                         <property name="icon_name">stock_select-cell</property>
  2231.                       </widget>
  2232.                       <packing>
  2233.                         <property name="x_options"></property>
  2234.                         <property name="y_options"></property>
  2235.                       </packing>
  2236.                     </child>
  2237.                   </widget>
  2238.                 </child>
  2239.               </widget>
  2240.               <packing>
  2241.                 <property name="expand">False</property>
  2242.                 <property name="fill">False</property>
  2243.                 <property name="position">1</property>
  2244.               </packing>
  2245.             </child>
  2246.           </widget>
  2247.           <packing>
  2248.             <property name="expand">False</property>
  2249.             <property name="fill">False</property>
  2250.           </packing>
  2251.         </child>
  2252.         <child>
  2253.           <widget class="GtkVBox" id="cell-properties-alignment-vbox">
  2254.             <property name="visible">True</property>
  2255.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2256.             <property name="spacing">6</property>
  2257.             <child>
  2258.               <widget class="GtkLabel" id="cell-properties-alignment-header">
  2259.                 <property name="visible">True</property>
  2260.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2261.                 <property name="xalign">0</property>
  2262.                 <property name="label" translatable="yes"><b>Alignment &amp; Behavior</b></property>
  2263.                 <property name="use_markup">True</property>
  2264.               </widget>
  2265.             </child>
  2266.             <child>
  2267.               <widget class="GtkAlignment" id="cell-properties-alignment-alignment">
  2268.                 <property name="visible">True</property>
  2269.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2270.                 <property name="left_padding">12</property>
  2271.                 <child>
  2272.                   <widget class="GtkTable" id="cell-properties-alignment-table">
  2273.                     <property name="visible">True</property>
  2274.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2275.                     <property name="n_rows">2</property>
  2276.                     <property name="n_columns">5</property>
  2277.                     <property name="column_spacing">6</property>
  2278.                     <property name="row_spacing">6</property>
  2279.                     <child>
  2280.                       <placeholder/>
  2281.                     </child>
  2282.                     <child>
  2283.                       <widget class="GtkHBox" id="cell-properties-alignment-hbox">
  2284.                         <property name="visible">True</property>
  2285.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2286.                         <property name="spacing">12</property>
  2287.                         <child>
  2288.                           <widget class="GtkCheckButton" id="cell-properties-wrap-text-check-button">
  2289.                             <property name="visible">True</property>
  2290.                             <property name="can_focus">True</property>
  2291.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2292.                             <property name="label" translatable="yes">_Wrap Text</property>
  2293.                             <property name="use_underline">True</property>
  2294.                             <property name="response_id">0</property>
  2295.                             <property name="draw_indicator">True</property>
  2296.                             <signal name="toggled" handler="gtkhtml_editor_cell_properties_wrap_text_toggled_cb" object="cell-properties-window"/>
  2297.                           </widget>
  2298.                           <packing>
  2299.                             <property name="expand">False</property>
  2300.                             <property name="fill">False</property>
  2301.                           </packing>
  2302.                         </child>
  2303.                         <child>
  2304.                           <widget class="GtkCheckButton" id="cell-properties-header-style-check-button">
  2305.                             <property name="visible">True</property>
  2306.                             <property name="can_focus">True</property>
  2307.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2308.                             <property name="label" translatable="yes">Hea_der Style</property>
  2309.                             <property name="use_underline">True</property>
  2310.                             <property name="response_id">0</property>
  2311.                             <property name="draw_indicator">True</property>
  2312.                             <signal name="toggled" handler="gtkhtml_editor_cell_properties_header_style_toggled_cb" object="cell-properties-window"/>
  2313.                           </widget>
  2314.                           <packing>
  2315.                             <property name="expand">False</property>
  2316.                             <property name="fill">False</property>
  2317.                             <property name="position">1</property>
  2318.                           </packing>
  2319.                         </child>
  2320.                       </widget>
  2321.                       <packing>
  2322.                         <property name="right_attach">5</property>
  2323.                         <property name="top_attach">1</property>
  2324.                         <property name="bottom_attach">2</property>
  2325.                         <property name="x_options">GTK_FILL</property>
  2326.                         <property name="y_options"></property>
  2327.                       </packing>
  2328.                     </child>
  2329.                     <child>
  2330.                       <widget class="GtkComboBox" id="cell-properties-vertical-combo-box">
  2331.                         <property name="visible">True</property>
  2332.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2333.                         <property name="items" translatable="yes">Top
  2334. Middle
  2335. Bottom</property>
  2336.                         <signal name="changed" handler="gtkhtml_editor_cell_properties_vertical_changed_cb" object="cell-properties-window"/>
  2337.                       </widget>
  2338.                       <packing>
  2339.                         <property name="left_attach">4</property>
  2340.                         <property name="right_attach">5</property>
  2341.                         <property name="y_options"></property>
  2342.                       </packing>
  2343.                     </child>
  2344.                     <child>
  2345.                       <widget class="GtkComboBox" id="cell-properties-horizontal-combo-box">
  2346.                         <property name="visible">True</property>
  2347.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2348.                         <property name="items" translatable="yes">Left
  2349. Center
  2350. Right</property>
  2351.                         <signal name="changed" handler="gtkhtml_editor_cell_properties_horizontal_changed_cb" object="cell-properties-window"/>
  2352.                       </widget>
  2353.                       <packing>
  2354.                         <property name="left_attach">1</property>
  2355.                         <property name="right_attach">2</property>
  2356.                         <property name="y_options"></property>
  2357.                       </packing>
  2358.                     </child>
  2359.                     <child>
  2360.                       <widget class="GtkLabel" id="cell-properties-vertical-label">
  2361.                         <property name="visible">True</property>
  2362.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2363.                         <property name="xalign">1</property>
  2364.                         <property name="label" translatable="yes">_Vertical:</property>
  2365.                         <property name="use_underline">True</property>
  2366.                         <property name="mnemonic_widget">cell-properties-vertical-combo-box</property>
  2367.                       </widget>
  2368.                       <packing>
  2369.                         <property name="left_attach">3</property>
  2370.                         <property name="right_attach">4</property>
  2371.                         <property name="x_options">GTK_FILL</property>
  2372.                         <property name="y_options"></property>
  2373.                       </packing>
  2374.                     </child>
  2375.                     <child>
  2376.                       <widget class="GtkLabel" id="cell-properties-horizontal-label">
  2377.                         <property name="visible">True</property>
  2378.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2379.                         <property name="xalign">1</property>
  2380.                         <property name="label" translatable="yes">_Horizontal:</property>
  2381.                         <property name="use_underline">True</property>
  2382.                         <property name="mnemonic_widget">cell-properties-horizontal-combo-box</property>
  2383.                       </widget>
  2384.                       <packing>
  2385.                         <property name="x_options">GTK_FILL</property>
  2386.                         <property name="y_options"></property>
  2387.                       </packing>
  2388.                     </child>
  2389.                   </widget>
  2390.                 </child>
  2391.               </widget>
  2392.               <packing>
  2393.                 <property name="position">1</property>
  2394.               </packing>
  2395.             </child>
  2396.           </widget>
  2397.           <packing>
  2398.             <property name="expand">False</property>
  2399.             <property name="fill">False</property>
  2400.             <property name="position">1</property>
  2401.           </packing>
  2402.         </child>
  2403.         <child>
  2404.           <widget class="GtkVBox" id="cell-properties-layout-vbox">
  2405.             <property name="visible">True</property>
  2406.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2407.             <property name="spacing">6</property>
  2408.             <child>
  2409.               <widget class="GtkLabel" id="cell-properties-layout-header">
  2410.                 <property name="visible">True</property>
  2411.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2412.                 <property name="xalign">0</property>
  2413.                 <property name="label" translatable="yes"><b>Layout</b></property>
  2414.                 <property name="use_markup">True</property>
  2415.               </widget>
  2416.             </child>
  2417.             <child>
  2418.               <widget class="GtkAlignment" id="cell-properties-layout-alignment">
  2419.                 <property name="visible">True</property>
  2420.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2421.                 <property name="left_padding">12</property>
  2422.                 <child>
  2423.                   <widget class="GtkTable" id="cell-properties-layout-table">
  2424.                     <property name="visible">True</property>
  2425.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2426.                     <property name="n_rows">2</property>
  2427.                     <property name="n_columns">6</property>
  2428.                     <property name="column_spacing">6</property>
  2429.                     <property name="row_spacing">6</property>
  2430.                     <child>
  2431.                       <placeholder/>
  2432.                     </child>
  2433.                     <child>
  2434.                       <placeholder/>
  2435.                     </child>
  2436.                     <child>
  2437.                       <placeholder/>
  2438.                     </child>
  2439.                     <child>
  2440.                       <placeholder/>
  2441.                     </child>
  2442.                     <child>
  2443.                       <placeholder/>
  2444.                     </child>
  2445.                     <child>
  2446.                       <widget class="GtkSpinButton" id="cell-properties-column-span-spin-button">
  2447.                         <property name="visible">True</property>
  2448.                         <property name="can_focus">True</property>
  2449.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2450.                         <property name="adjustment">0 0 100 1 10 0</property>
  2451.                         <signal name="change_value" handler="gtkhtml_editor_cell_properties_column_span_changed_cb" object="cell-properties-window"/>
  2452.                       </widget>
  2453.                       <packing>
  2454.                         <property name="left_attach">5</property>
  2455.                         <property name="right_attach">6</property>
  2456.                         <property name="top_attach">1</property>
  2457.                         <property name="bottom_attach">2</property>
  2458.                         <property name="y_options"></property>
  2459.                       </packing>
  2460.                     </child>
  2461.                     <child>
  2462.                       <widget class="GtkSpinButton" id="cell-properties-row-span-spin-button">
  2463.                         <property name="visible">True</property>
  2464.                         <property name="can_focus">True</property>
  2465.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2466.                         <property name="adjustment">0 0 100 1 10 0</property>
  2467.                         <signal name="change_value" handler="gtkhtml_editor_cell_properties_row_span_changed_cb" object="cell-properties-window"/>
  2468.                       </widget>
  2469.                       <packing>
  2470.                         <property name="left_attach">5</property>
  2471.                         <property name="right_attach">6</property>
  2472.                         <property name="y_options"></property>
  2473.                       </packing>
  2474.                     </child>
  2475.                     <child>
  2476.                       <widget class="GtkLabel" id="cell-properties-column-span-label">
  2477.                         <property name="visible">True</property>
  2478.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2479.                         <property name="xalign">1</property>
  2480.                         <property name="label" translatable="yes">Column Span:</property>
  2481.                         <property name="use_underline">True</property>
  2482.                         <property name="mnemonic_widget">cell-properties-column-span-spin-button</property>
  2483.                       </widget>
  2484.                       <packing>
  2485.                         <property name="left_attach">4</property>
  2486.                         <property name="right_attach">5</property>
  2487.                         <property name="top_attach">1</property>
  2488.                         <property name="bottom_attach">2</property>
  2489.                         <property name="x_options">GTK_FILL</property>
  2490.                         <property name="y_options"></property>
  2491.                       </packing>
  2492.                     </child>
  2493.                     <child>
  2494.                       <widget class="GtkLabel" id="cell-properties-row-span-label">
  2495.                         <property name="visible">True</property>
  2496.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2497.                         <property name="xalign">1</property>
  2498.                         <property name="label" translatable="yes">Row Span:</property>
  2499.                         <property name="use_underline">True</property>
  2500.                         <property name="mnemonic_widget">cell-properties-row-span-spin-button</property>
  2501.                       </widget>
  2502.                       <packing>
  2503.                         <property name="left_attach">4</property>
  2504.                         <property name="right_attach">5</property>
  2505.                         <property name="x_options">GTK_FILL</property>
  2506.                         <property name="y_options"></property>
  2507.                       </packing>
  2508.                     </child>
  2509.                     <child>
  2510.                       <widget class="GtkComboBox" id="cell-properties-width-combo-box">
  2511.                         <property name="visible">True</property>
  2512.                         <property name="sensitive">False</property>
  2513.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2514.                         <property name="items" translatable="yes">px
  2515. %</property>
  2516.                         <signal name="changed" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
  2517.                       </widget>
  2518.                       <packing>
  2519.                         <property name="left_attach">2</property>
  2520.                         <property name="right_attach">3</property>
  2521.                         <property name="x_options">GTK_FILL</property>
  2522.                         <property name="y_options"></property>
  2523.                       </packing>
  2524.                     </child>
  2525.                     <child>
  2526.                       <widget class="GtkSpinButton" id="cell-properties-width-spin-button">
  2527.                         <property name="width_request">100</property>
  2528.                         <property name="visible">True</property>
  2529.                         <property name="sensitive">False</property>
  2530.                         <property name="can_focus">True</property>
  2531.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2532.                         <property name="adjustment">0 0 100 1 10 0</property>
  2533.                         <signal name="value_changed" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
  2534.                       </widget>
  2535.                       <packing>
  2536.                         <property name="left_attach">1</property>
  2537.                         <property name="right_attach">2</property>
  2538.                         <property name="y_options"></property>
  2539.                       </packing>
  2540.                     </child>
  2541.                     <child>
  2542.                       <widget class="GtkCheckButton" id="cell-properties-width-check-button">
  2543.                         <property name="visible">True</property>
  2544.                         <property name="can_focus">True</property>
  2545.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2546.                         <property name="label" translatable="yes">Width:</property>
  2547.                         <property name="use_underline">True</property>
  2548.                         <property name="response_id">0</property>
  2549.                         <property name="draw_indicator">True</property>
  2550.                         <signal name="toggled" handler="gtkhtml_editor_cell_properties_width_changed_cb" object="cell-properties-window"/>
  2551.                       </widget>
  2552.                       <packing>
  2553.                         <property name="x_options">GTK_FILL</property>
  2554.                         <property name="y_options"></property>
  2555.                       </packing>
  2556.                     </child>
  2557.                   </widget>
  2558.                 </child>
  2559.               </widget>
  2560.               <packing>
  2561.                 <property name="position">1</property>
  2562.               </packing>
  2563.             </child>
  2564.           </widget>
  2565.           <packing>
  2566.             <property name="expand">False</property>
  2567.             <property name="fill">False</property>
  2568.             <property name="position">2</property>
  2569.           </packing>
  2570.         </child>
  2571.         <child>
  2572.           <widget class="GtkVBox" id="cell-properties-background-vbox">
  2573.             <property name="visible">True</property>
  2574.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2575.             <property name="spacing">6</property>
  2576.             <child>
  2577.               <widget class="GtkLabel" id="cell-properties-background-header">
  2578.                 <property name="visible">True</property>
  2579.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2580.                 <property name="xalign">0</property>
  2581.                 <property name="label" translatable="yes"><b>Background</b></property>
  2582.                 <property name="use_markup">True</property>
  2583.               </widget>
  2584.             </child>
  2585.             <child>
  2586.               <widget class="GtkAlignment" id="cell-properties-background-alignment">
  2587.                 <property name="visible">True</property>
  2588.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2589.                 <property name="left_padding">12</property>
  2590.                 <child>
  2591.                   <widget class="GtkTable" id="cell-properties-background-table">
  2592.                     <property name="visible">True</property>
  2593.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2594.                     <property name="n_rows">2</property>
  2595.                     <property name="n_columns">2</property>
  2596.                     <property name="column_spacing">6</property>
  2597.                     <property name="row_spacing">6</property>
  2598.                     <child>
  2599.                       <widget class="GtkFileChooserButton" id="cell-properties-image-file-chooser">
  2600.                         <property name="visible">True</property>
  2601.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2602.                         <property name="title" translatable="yes">Select An Image</property>
  2603.                         <signal name="file_set" handler="gtkhtml_editor_cell_properties_image_file_set_cb" object="cell-properties-window"/>
  2604.                       </widget>
  2605.                       <packing>
  2606.                         <property name="left_attach">1</property>
  2607.                         <property name="right_attach">2</property>
  2608.                         <property name="top_attach">1</property>
  2609.                         <property name="bottom_attach">2</property>
  2610.                         <property name="y_options"></property>
  2611.                       </packing>
  2612.                     </child>
  2613.                     <child>
  2614.                       <widget class="GtkhtmlColorCombo" id="cell-properties-color-combo">
  2615.                         <property name="visible">True</property>
  2616.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2617.                         <property name="default_color">#000000000000</property>
  2618.                         <property name="default_label">Transparent</property>
  2619.                         <property name="default_transparent">True</property>
  2620.                         <signal name="changed" handler="gtkhtml_editor_cell_properties_color_changed_cb" object="cell-properties-window"/>
  2621.                       </widget>
  2622.                       <packing>
  2623.                         <property name="left_attach">1</property>
  2624.                         <property name="right_attach">2</property>
  2625.                         <property name="y_options"></property>
  2626.                       </packing>
  2627.                     </child>
  2628.                     <child>
  2629.                       <widget class="GtkLabel" id="cell-properties-image-label">
  2630.                         <property name="visible">True</property>
  2631.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2632.                         <property name="label" translatable="yes">I_mage:</property>
  2633.                         <property name="use_underline">True</property>
  2634.                         <property name="mnemonic_widget">cell-properties-image-file-chooser</property>
  2635.                       </widget>
  2636.                       <packing>
  2637.                         <property name="top_attach">1</property>
  2638.                         <property name="bottom_attach">2</property>
  2639.                         <property name="x_options">GTK_FILL</property>
  2640.                         <property name="y_options"></property>
  2641.                       </packing>
  2642.                     </child>
  2643.                     <child>
  2644.                       <widget class="GtkLabel" id="cell-properties-color-label">
  2645.                         <property name="visible">True</property>
  2646.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2647.                         <property name="xalign">1</property>
  2648.                         <property name="label" translatable="yes">C_olor:</property>
  2649.                         <property name="use_underline">True</property>
  2650.                         <property name="mnemonic_widget">cell-properties-color-combo</property>
  2651.                       </widget>
  2652.                       <packing>
  2653.                         <property name="x_options">GTK_FILL</property>
  2654.                         <property name="y_options"></property>
  2655.                       </packing>
  2656.                     </child>
  2657.                   </widget>
  2658.                 </child>
  2659.               </widget>
  2660.               <packing>
  2661.                 <property name="position">1</property>
  2662.               </packing>
  2663.             </child>
  2664.           </widget>
  2665.           <packing>
  2666.             <property name="expand">False</property>
  2667.             <property name="fill">False</property>
  2668.             <property name="position">3</property>
  2669.           </packing>
  2670.         </child>
  2671.         <child>
  2672.           <widget class="GtkHButtonBox" id="cell-properties-button-box">
  2673.             <property name="visible">True</property>
  2674.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2675.             <property name="spacing">12</property>
  2676.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  2677.             <child>
  2678.               <widget class="GtkButton" id="cell-properties-close-button">
  2679.                 <property name="visible">True</property>
  2680.                 <property name="can_focus">True</property>
  2681.                 <property name="receives_default">True</property>
  2682.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2683.                 <property name="label">gtk-close</property>
  2684.                 <property name="use_stock">True</property>
  2685.                 <property name="response_id">0</property>
  2686.                 <signal name="clicked" handler="gtk_widget_hide" object="cell-properties-window"/>
  2687.               </widget>
  2688.               <packing>
  2689.                 <property name="position">1</property>
  2690.               </packing>
  2691.             </child>
  2692.           </widget>
  2693.           <packing>
  2694.             <property name="expand">False</property>
  2695.             <property name="fill">False</property>
  2696.             <property name="pack_type">GTK_PACK_END</property>
  2697.             <property name="position">4</property>
  2698.           </packing>
  2699.         </child>
  2700.       </widget>
  2701.     </child>
  2702.   </widget>
  2703.   <widget class="GtkWindow" id="image-properties-window">
  2704.     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2705.     <property name="border_width">12</property>
  2706.     <property name="title" translatable="yes">Image Properties</property>
  2707.     <property name="resizable">False</property>
  2708.     <property name="modal">True</property>
  2709.     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  2710.     <property name="destroy_with_parent">True</property>
  2711.     <signal name="delete_event" handler="gtk_widget_hide_on_delete"/>
  2712.     <signal name="show" handler="gtkhtml_editor_image_properties_show_window_cb"/>
  2713.     <child>
  2714.       <widget class="GtkVBox" id="image-properties-vbox">
  2715.         <property name="visible">True</property>
  2716.         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2717.         <property name="spacing">12</property>
  2718.         <child>
  2719.           <widget class="GtkVBox" id="image-properties-general-vbox">
  2720.             <property name="visible">True</property>
  2721.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2722.             <property name="spacing">6</property>
  2723.             <child>
  2724.               <widget class="GtkLabel" id="image-properties-general-header">
  2725.                 <property name="visible">True</property>
  2726.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2727.                 <property name="xalign">0</property>
  2728.                 <property name="label" translatable="yes"><b>General</b></property>
  2729.                 <property name="use_markup">True</property>
  2730.               </widget>
  2731.             </child>
  2732.             <child>
  2733.               <widget class="GtkAlignment" id="image-properties-general-alignment">
  2734.                 <property name="visible">True</property>
  2735.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2736.                 <property name="left_padding">12</property>
  2737.                 <child>
  2738.                   <widget class="GtkTable" id="image-properties-general-table">
  2739.                     <property name="visible">True</property>
  2740.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2741.                     <property name="n_rows">2</property>
  2742.                     <property name="n_columns">2</property>
  2743.                     <property name="column_spacing">6</property>
  2744.                     <property name="row_spacing">6</property>
  2745.                     <child>
  2746.                       <widget class="GtkEntry" id="image-properties-description-entry">
  2747.                         <property name="visible">True</property>
  2748.                         <property name="can_focus">True</property>
  2749.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2750.                         <signal name="changed" handler="gtkhtml_editor_image_properties_description_changed_cb" object="image-properties-window"/>
  2751.                       </widget>
  2752.                       <packing>
  2753.                         <property name="left_attach">1</property>
  2754.                         <property name="right_attach">2</property>
  2755.                         <property name="top_attach">1</property>
  2756.                         <property name="bottom_attach">2</property>
  2757.                         <property name="y_options"></property>
  2758.                       </packing>
  2759.                     </child>
  2760.                     <child>
  2761.                       <widget class="GtkFileChooserButton" id="image-properties-source-file-chooser">
  2762.                         <property name="visible">True</property>
  2763.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2764.                         <signal name="file_set" handler="gtkhtml_editor_image_properties_source_file_set_cb" object="image-properties-window"/>
  2765.                       </widget>
  2766.                       <packing>
  2767.                         <property name="left_attach">1</property>
  2768.                         <property name="right_attach">2</property>
  2769.                         <property name="y_options"></property>
  2770.                       </packing>
  2771.                     </child>
  2772.                     <child>
  2773.                       <widget class="GtkLabel" id="image-properties-description-label">
  2774.                         <property name="visible">True</property>
  2775.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2776.                         <property name="label" translatable="yes">_Description:</property>
  2777.                         <property name="use_underline">True</property>
  2778.                         <property name="mnemonic_widget">image-properties-description-entry</property>
  2779.                       </widget>
  2780.                       <packing>
  2781.                         <property name="top_attach">1</property>
  2782.                         <property name="bottom_attach">2</property>
  2783.                         <property name="x_options">GTK_FILL</property>
  2784.                         <property name="y_options"></property>
  2785.                       </packing>
  2786.                     </child>
  2787.                     <child>
  2788.                       <widget class="GtkLabel" id="image-properties-source-label">
  2789.                         <property name="visible">True</property>
  2790.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2791.                         <property name="xalign">1</property>
  2792.                         <property name="label" translatable="yes">_Source:</property>
  2793.                         <property name="use_underline">True</property>
  2794.                         <property name="mnemonic_widget">image-properties-source-file-chooser</property>
  2795.                       </widget>
  2796.                       <packing>
  2797.                         <property name="x_options">GTK_FILL</property>
  2798.                         <property name="y_options"></property>
  2799.                       </packing>
  2800.                     </child>
  2801.                   </widget>
  2802.                 </child>
  2803.               </widget>
  2804.               <packing>
  2805.                 <property name="position">1</property>
  2806.               </packing>
  2807.             </child>
  2808.           </widget>
  2809.           <packing>
  2810.             <property name="expand">False</property>
  2811.             <property name="fill">False</property>
  2812.           </packing>
  2813.         </child>
  2814.         <child>
  2815.           <widget class="GtkVBox" id="image-properties-layout-vbox">
  2816.             <property name="visible">True</property>
  2817.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2818.             <property name="spacing">6</property>
  2819.             <child>
  2820.               <widget class="GtkLabel" id="image-properties-layout-header">
  2821.                 <property name="visible">True</property>
  2822.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2823.                 <property name="xalign">0</property>
  2824.                 <property name="label" translatable="yes"><b>Layout</b></property>
  2825.                 <property name="use_markup">True</property>
  2826.               </widget>
  2827.             </child>
  2828.             <child>
  2829.               <widget class="GtkAlignment" id="image-properties-layout-alignment">
  2830.                 <property name="visible">True</property>
  2831.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2832.                 <property name="left_padding">12</property>
  2833.                 <child>
  2834.                   <widget class="GtkTable" id="image-properties-layout-table">
  2835.                     <property name="visible">True</property>
  2836.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2837.                     <property name="n_rows">3</property>
  2838.                     <property name="n_columns">7</property>
  2839.                     <property name="column_spacing">6</property>
  2840.                     <property name="row_spacing">6</property>
  2841.                     <child>
  2842.                       <placeholder/>
  2843.                     </child>
  2844.                     <child>
  2845.                       <placeholder/>
  2846.                     </child>
  2847.                     <child>
  2848.                       <placeholder/>
  2849.                     </child>
  2850.                     <child>
  2851.                       <placeholder/>
  2852.                     </child>
  2853.                     <child>
  2854.                       <widget class="GtkLabel" id="image-properties-width-label">
  2855.                         <property name="visible">True</property>
  2856.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2857.                         <property name="xalign">1</property>
  2858.                         <property name="label" translatable="yes">_Width:</property>
  2859.                         <property name="use_underline">True</property>
  2860.                         <property name="mnemonic_widget">image-properties-width-spin-button</property>
  2861.                       </widget>
  2862.                       <packing>
  2863.                         <property name="x_options">GTK_FILL</property>
  2864.                         <property name="y_options"></property>
  2865.                       </packing>
  2866.                     </child>
  2867.                     <child>
  2868.                       <widget class="GtkLabel" id="image-properties-height-label">
  2869.                         <property name="visible">True</property>
  2870.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2871.                         <property name="xalign">1</property>
  2872.                         <property name="label" translatable="yes">_Height:</property>
  2873.                         <property name="use_underline">True</property>
  2874.                         <property name="mnemonic_widget">image-properties-height-spin-button</property>
  2875.                       </widget>
  2876.                       <packing>
  2877.                         <property name="top_attach">1</property>
  2878.                         <property name="bottom_attach">2</property>
  2879.                         <property name="x_options">GTK_FILL</property>
  2880.                         <property name="y_options"></property>
  2881.                       </packing>
  2882.                     </child>
  2883.                     <child>
  2884.                       <widget class="GtkLabel" id="image-properties-alignment-label">
  2885.                         <property name="visible">True</property>
  2886.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2887.                         <property name="xalign">1</property>
  2888.                         <property name="label" translatable="yes">_Alignment:</property>
  2889.                         <property name="use_underline">True</property>
  2890.                         <property name="mnemonic_widget">image-properties-alignment-combo-box</property>
  2891.                       </widget>
  2892.                       <packing>
  2893.                         <property name="top_attach">2</property>
  2894.                         <property name="bottom_attach">3</property>
  2895.                         <property name="x_options">GTK_FILL</property>
  2896.                         <property name="y_options"></property>
  2897.                       </packing>
  2898.                     </child>
  2899.                     <child>
  2900.                       <widget class="GtkSpinButton" id="image-properties-width-spin-button">
  2901.                         <property name="width_request">100</property>
  2902.                         <property name="visible">True</property>
  2903.                         <property name="can_focus">True</property>
  2904.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2905.                         <property name="adjustment">0 0 100 1 10 0</property>
  2906.                         <signal name="value_changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
  2907.                       </widget>
  2908.                       <packing>
  2909.                         <property name="left_attach">1</property>
  2910.                         <property name="right_attach">2</property>
  2911.                         <property name="y_options"></property>
  2912.                       </packing>
  2913.                     </child>
  2914.                     <child>
  2915.                       <widget class="GtkSpinButton" id="image-properties-height-spin-button">
  2916.                         <property name="width_request">100</property>
  2917.                         <property name="visible">True</property>
  2918.                         <property name="can_focus">True</property>
  2919.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2920.                         <property name="adjustment">0 0 100 1 10 0</property>
  2921.                         <signal name="value_changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
  2922.                       </widget>
  2923.                       <packing>
  2924.                         <property name="left_attach">1</property>
  2925.                         <property name="right_attach">2</property>
  2926.                         <property name="top_attach">1</property>
  2927.                         <property name="bottom_attach">2</property>
  2928.                         <property name="y_options"></property>
  2929.                       </packing>
  2930.                     </child>
  2931.                     <child>
  2932.                       <widget class="GtkComboBox" id="image-properties-width-combo-box">
  2933.                         <property name="visible">True</property>
  2934.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2935.                         <property name="items" translatable="yes">px
  2936. %
  2937. follow</property>
  2938.                         <signal name="changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
  2939.                       </widget>
  2940.                       <packing>
  2941.                         <property name="left_attach">2</property>
  2942.                         <property name="right_attach">3</property>
  2943.                         <property name="x_options"></property>
  2944.                         <property name="y_options"></property>
  2945.                       </packing>
  2946.                     </child>
  2947.                     <child>
  2948.                       <widget class="GtkComboBox" id="image-properties-height-combo-box">
  2949.                         <property name="visible">True</property>
  2950.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2951.                         <property name="items" translatable="yes">px
  2952. %
  2953. follow</property>
  2954.                         <signal name="changed" handler="gtkhtml_editor_image_properties_size_changed_cb" object="image-properties-window"/>
  2955.                       </widget>
  2956.                       <packing>
  2957.                         <property name="left_attach">2</property>
  2958.                         <property name="right_attach">3</property>
  2959.                         <property name="top_attach">1</property>
  2960.                         <property name="bottom_attach">2</property>
  2961.                         <property name="x_options"></property>
  2962.                         <property name="y_options"></property>
  2963.                       </packing>
  2964.                     </child>
  2965.                     <child>
  2966.                       <widget class="GtkComboBox" id="image-properties-alignment-combo-box">
  2967.                         <property name="visible">True</property>
  2968.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2969.                         <property name="items" translatable="yes">Top
  2970. Middle
  2971. Bottom</property>
  2972.                         <signal name="changed" handler="gtkhtml_editor_image_properties_alignment_changed_cb" object="image-properties-window"/>
  2973.                       </widget>
  2974.                       <packing>
  2975.                         <property name="left_attach">1</property>
  2976.                         <property name="right_attach">2</property>
  2977.                         <property name="top_attach">2</property>
  2978.                         <property name="bottom_attach">3</property>
  2979.                         <property name="y_options"></property>
  2980.                       </packing>
  2981.                     </child>
  2982.                     <child>
  2983.                       <widget class="GtkLabel" id="image-properties-x-padding-label">
  2984.                         <property name="visible">True</property>
  2985.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  2986.                         <property name="xalign">1</property>
  2987.                         <property name="label" translatable="yes">_X-Padding:</property>
  2988.                         <property name="use_underline">True</property>
  2989.                         <property name="mnemonic_widget">image-properties-x-padding-spin-button</property>
  2990.                       </widget>
  2991.                       <packing>
  2992.                         <property name="left_attach">4</property>
  2993.                         <property name="right_attach">5</property>
  2994.                         <property name="x_options">GTK_FILL</property>
  2995.                         <property name="y_options"></property>
  2996.                       </packing>
  2997.                     </child>
  2998.                     <child>
  2999.                       <widget class="GtkLabel" id="image-properties-y-padding-label">
  3000.                         <property name="visible">True</property>
  3001.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3002.                         <property name="xalign">1</property>
  3003.                         <property name="label" translatable="yes">_Y-Padding:</property>
  3004.                         <property name="use_underline">True</property>
  3005.                         <property name="mnemonic_widget">image-properties-y-padding-spin-button</property>
  3006.                       </widget>
  3007.                       <packing>
  3008.                         <property name="left_attach">4</property>
  3009.                         <property name="right_attach">5</property>
  3010.                         <property name="top_attach">1</property>
  3011.                         <property name="bottom_attach">2</property>
  3012.                         <property name="x_options">GTK_FILL</property>
  3013.                         <property name="y_options"></property>
  3014.                       </packing>
  3015.                     </child>
  3016.                     <child>
  3017.                       <widget class="GtkLabel" id="image-properties-border-label">
  3018.                         <property name="visible">True</property>
  3019.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3020.                         <property name="xalign">1</property>
  3021.                         <property name="label" translatable="yes">_Border:</property>
  3022.                         <property name="use_underline">True</property>
  3023.                         <property name="mnemonic_widget">image-properties-border-spin-button</property>
  3024.                       </widget>
  3025.                       <packing>
  3026.                         <property name="left_attach">4</property>
  3027.                         <property name="right_attach">5</property>
  3028.                         <property name="top_attach">2</property>
  3029.                         <property name="bottom_attach">3</property>
  3030.                         <property name="x_options">GTK_FILL</property>
  3031.                         <property name="y_options"></property>
  3032.                       </packing>
  3033.                     </child>
  3034.                     <child>
  3035.                       <widget class="GtkSpinButton" id="image-properties-x-padding-spin-button">
  3036.                         <property name="visible">True</property>
  3037.                         <property name="can_focus">True</property>
  3038.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3039.                         <property name="adjustment">0 0 100 1 10 0</property>
  3040.                         <signal name="value_changed" handler="gtkhtml_editor_image_properties_padding_changed_cb" object="image-properties-window"/>
  3041.                       </widget>
  3042.                       <packing>
  3043.                         <property name="left_attach">5</property>
  3044.                         <property name="right_attach">6</property>
  3045.                         <property name="y_options"></property>
  3046.                       </packing>
  3047.                     </child>
  3048.                     <child>
  3049.                       <widget class="GtkLabel" id="image-properties-x-padding-units-label">
  3050.                         <property name="visible">True</property>
  3051.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3052.                         <property name="xalign">0</property>
  3053.                         <property name="label" translatable="yes">px</property>
  3054.                       </widget>
  3055.                       <packing>
  3056.                         <property name="left_attach">6</property>
  3057.                         <property name="right_attach">7</property>
  3058.                         <property name="x_options">GTK_FILL</property>
  3059.                         <property name="y_options"></property>
  3060.                       </packing>
  3061.                     </child>
  3062.                     <child>
  3063.                       <widget class="GtkLabel" id="image-properties-y-padding-units-label">
  3064.                         <property name="visible">True</property>
  3065.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3066.                         <property name="xalign">0</property>
  3067.                         <property name="label" translatable="yes">px</property>
  3068.                       </widget>
  3069.                       <packing>
  3070.                         <property name="left_attach">6</property>
  3071.                         <property name="right_attach">7</property>
  3072.                         <property name="top_attach">1</property>
  3073.                         <property name="bottom_attach">2</property>
  3074.                         <property name="x_options">GTK_FILL</property>
  3075.                         <property name="y_options"></property>
  3076.                       </packing>
  3077.                     </child>
  3078.                     <child>
  3079.                       <widget class="GtkSpinButton" id="image-properties-y-padding-spin-button">
  3080.                         <property name="visible">True</property>
  3081.                         <property name="can_focus">True</property>
  3082.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3083.                         <property name="adjustment">0 0 100 1 10 0</property>
  3084.                         <signal name="value_changed" handler="gtkhtml_editor_image_properties_padding_changed_cb" object="image-properties-window"/>
  3085.                       </widget>
  3086.                       <packing>
  3087.                         <property name="left_attach">5</property>
  3088.                         <property name="right_attach">6</property>
  3089.                         <property name="top_attach">1</property>
  3090.                         <property name="bottom_attach">2</property>
  3091.                         <property name="y_options"></property>
  3092.                       </packing>
  3093.                     </child>
  3094.                     <child>
  3095.                       <widget class="GtkLabel" id="image-properties-border-units-label">
  3096.                         <property name="visible">True</property>
  3097.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3098.                         <property name="xalign">0</property>
  3099.                         <property name="label" translatable="yes">px</property>
  3100.                       </widget>
  3101.                       <packing>
  3102.                         <property name="left_attach">6</property>
  3103.                         <property name="right_attach">7</property>
  3104.                         <property name="top_attach">2</property>
  3105.                         <property name="bottom_attach">3</property>
  3106.                         <property name="x_options">GTK_FILL</property>
  3107.                         <property name="y_options"></property>
  3108.                       </packing>
  3109.                     </child>
  3110.                     <child>
  3111.                       <widget class="GtkSpinButton" id="image-properties-border-spin-button">
  3112.                         <property name="visible">True</property>
  3113.                         <property name="can_focus">True</property>
  3114.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3115.                         <property name="adjustment">0 0 100 1 10 0</property>
  3116.                         <signal name="value_changed" handler="gtkhtml_editor_image_properties_border_changed_cb" object="image-properties-window"/>
  3117.                       </widget>
  3118.                       <packing>
  3119.                         <property name="left_attach">5</property>
  3120.                         <property name="right_attach">6</property>
  3121.                         <property name="top_attach">2</property>
  3122.                         <property name="bottom_attach">3</property>
  3123.                         <property name="y_options"></property>
  3124.                       </packing>
  3125.                     </child>
  3126.                   </widget>
  3127.                 </child>
  3128.               </widget>
  3129.               <packing>
  3130.                 <property name="position">1</property>
  3131.               </packing>
  3132.             </child>
  3133.           </widget>
  3134.           <packing>
  3135.             <property name="expand">False</property>
  3136.             <property name="fill">False</property>
  3137.             <property name="position">1</property>
  3138.           </packing>
  3139.         </child>
  3140.         <child>
  3141.           <widget class="GtkVBox" id="image-properties-link-vbox">
  3142.             <property name="visible">True</property>
  3143.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3144.             <property name="spacing">6</property>
  3145.             <child>
  3146.               <widget class="GtkLabel" id="image-properties-link-header">
  3147.                 <property name="visible">True</property>
  3148.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3149.                 <property name="xalign">0</property>
  3150.                 <property name="label" translatable="yes"><b>Link</b></property>
  3151.                 <property name="use_markup">True</property>
  3152.               </widget>
  3153.             </child>
  3154.             <child>
  3155.               <widget class="GtkAlignment" id="image-properties-link-alignment">
  3156.                 <property name="visible">True</property>
  3157.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3158.                 <property name="left_padding">12</property>
  3159.                 <child>
  3160.                   <widget class="GtkTable" id="image-properties-link-table">
  3161.                     <property name="visible">True</property>
  3162.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3163.                     <property name="n_columns">3</property>
  3164.                     <property name="column_spacing">6</property>
  3165.                     <property name="row_spacing">6</property>
  3166.                     <child>
  3167.                       <widget class="GtkButton" id="image-properties-url-button">
  3168.                         <property name="visible">True</property>
  3169.                         <property name="can_focus">True</property>
  3170.                         <property name="receives_default">True</property>
  3171.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3172.                         <property name="label" translatable="yes">_Test URL...</property>
  3173.                         <property name="use_underline">True</property>
  3174.                         <property name="response_id">0</property>
  3175.                         <signal name="clicked" handler="gtkhtml_editor_image_properties_url_button_clicked_cb" object="image-properties-window"/>
  3176.                       </widget>
  3177.                       <packing>
  3178.                         <property name="left_attach">2</property>
  3179.                         <property name="right_attach">3</property>
  3180.                         <property name="x_options">GTK_FILL</property>
  3181.                         <property name="y_options"></property>
  3182.                       </packing>
  3183.                     </child>
  3184.                     <child>
  3185.                       <widget class="GtkEntry" id="image-properties-url-entry">
  3186.                         <property name="visible">True</property>
  3187.                         <property name="can_focus">True</property>
  3188.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3189.                         <signal name="changed" handler="gtkhtml_editor_image_properties_url_entry_changed_cb" object="image-properties-window"/>
  3190.                       </widget>
  3191.                       <packing>
  3192.                         <property name="left_attach">1</property>
  3193.                         <property name="right_attach">2</property>
  3194.                         <property name="y_options"></property>
  3195.                       </packing>
  3196.                     </child>
  3197.                     <child>
  3198.                       <widget class="GtkLabel" id="image-properties-url-label">
  3199.                         <property name="visible">True</property>
  3200.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3201.                         <property name="xalign">1</property>
  3202.                         <property name="label" translatable="yes">_URL:</property>
  3203.                         <property name="use_underline">True</property>
  3204.                         <property name="mnemonic_widget">image-properties-url-entry</property>
  3205.                       </widget>
  3206.                       <packing>
  3207.                         <property name="x_options">GTK_FILL</property>
  3208.                         <property name="y_options"></property>
  3209.                       </packing>
  3210.                     </child>
  3211.                   </widget>
  3212.                 </child>
  3213.               </widget>
  3214.               <packing>
  3215.                 <property name="position">1</property>
  3216.               </packing>
  3217.             </child>
  3218.           </widget>
  3219.           <packing>
  3220.             <property name="expand">False</property>
  3221.             <property name="fill">False</property>
  3222.             <property name="position">2</property>
  3223.           </packing>
  3224.         </child>
  3225.         <child>
  3226.           <widget class="GtkHButtonBox" id="image-properties-button-box">
  3227.             <property name="visible">True</property>
  3228.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3229.             <property name="spacing">12</property>
  3230.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  3231.             <child>
  3232.               <widget class="GtkButton" id="image-properties-close-button">
  3233.                 <property name="visible">True</property>
  3234.                 <property name="can_focus">True</property>
  3235.                 <property name="receives_default">True</property>
  3236.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  3237.                 <property name="label">gtk-close</property>
  3238.                 <property name="use_stock">True</property>
  3239.                 <property name="response_id">0</property>
  3240.                 <signal name="clicked" handler="gtk_widget_hide" object="image-properties-window"/>
  3241.               </widget>
  3242.               <packing>
  3243.                 <property name="position">1</property>
  3244.               </packing>
  3245.             </child>
  3246.           </widget>
  3247.           <packing>
  3248.             <property name="expand">False</property>
  3249.             <property name="fill">False</property>
  3250.             <property name="pack_type">GTK_PACK_END</property>
  3251.             <property name="position">3</property>
  3252.           </packing>
  3253.         </child>
  3254.       </widget>
  3255.     </child>
  3256.   </widget>
  3257. </glade-interface>
  3258.